1. Batens, D. (2003). A formal approach to problem solving. In C. Delrieux & J. Legris (Eds.), Computer modeling of scientific reasoning (pp. 15–26). Bahia Blanca: Universidad Nacional del Sur.
2. Batens, D. (2006). A diagrammatic proof search procedure as part of a formal approach to problem solving. In L. Magnani (Ed.), Model based reasoning in science and engineering: Cognitive science, epistemology, logic (pp. 265–284). London: King’s College Publications.
3. Batens, D. (2007). Content guidance in formal problem solving processes. In O. Pombo & A. Gerner (Eds.), Abduction and the process of scientific discovery (pp. 121–156). Lisboa: Centro de Filosofia das Ciências da Universidade de Lisboa.
4. Batens, D. (2014). Adaptive logics and dynamic proofs. Mastering the dynamics of reasoning. In E. Weber, D. Wouters, & J. Meheus (Eds.), Logic, reasoning, and rationality (Vol. 5). Dordrecht: Springer. (In progress, parts available at
http://logica.ugent.be/adlog/book.html
).
5. Belnap, N. (1969). Åqvist’s corrections-accumulating question sequences. In J. Davis, D. Hockney, & W. Wilson (Eds.), Philosophical logic (pp. 122–134). Dordrecht: Reidel.