1. Inconsistency-adaptive logics;Batens,1999
2. A general characterization of adaptive logics;Batens;Logique et Analyse,2001
3. D. Batens, A paraconsistent proof procedure based on classical logic, submitted for publication
4. D. Batens, J. Meheus, D. Provijn, An adaptive characterization of signed systems for paraconsistent reasoning, submitted for publication
5. Pushing the search paths in the proofs. A study in proof heuristics;Batens;Logique et Analyse,2001