Publications
“Looting Liars Masking Models” . Graham Priest on Dialetheism and Paraconsistency: 139--164.
. 2019. “Content Guidance In Formal Problem Solving Processes” . Abduction and the Process of Scientific Discovery: 121–156.
. 2007. “Pushing The Search Paths In The Proofs. A Study In Proof Heuristics”. Logique et Analyse 44: 113–134.
. 2001. “The Consistency Of Peano Arithmetic. A Defeasible Perspective” . Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday: 11–59.
. 2014. “Waar Stoppen?”. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 102: 196–198.
. 2010. “De Inconsistentie-Adaptieve Logica Ddl” . Aktueel Filosoferen: 39–45.
. 1993. “Rich Relevant Logics Based On A Simple Type Of Semantics”. Logique et Analyse 29: 437–457.
. 1986. “Kennissystemen Selectief Wieden” . Laat ons niet ernstig blijven. Huldeboek voor Jean Paul Van Bendegem: 227–244.
. 2018. “Some Objections To Keith Lehrer's Rule Ir”. The British Journal for the Philosophy of Science 22: 357–362.
. 1971. “Over De Kloof Tussen Feit En Norm, Bekeken Vanuit De Hedendaagse Wetenschapsfilosofie” . Dwarsdenken. Omtrent Jaap Kruithof: 165–177.
. 1989. “Over Het (Vermeende) Conflict Tussen Godsgeloof En De Wetenschappen”. Mores 42: 401–415.
. 1997. “Abduction Logics Illustrating Pitfalls Of Defeasible Methods” . Applications of formal philosophy: the road less travelled 14: 169–193.
. 2017. “On The Logic And Pragmatics Of The Process Of Explanation” . Explanatory Connections. Electronic Essays Dedicated to Matti Sintonen. http://www.valt.helsinki.fi/kfil/matti/.
. 2001. “A Completeness-Proof Method For Extensions Of The Implicational Fragment Of The Propositional Calculus”. Notre Dame Journal of Formal Logic 21: 509–517.
. 1980. “Towards A Dialogic Interpretation Of Dynamic Proofs” . Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman: 27–51.
. 2009. “Towards The Unification Of Inconsistency Handling Mechanisms”. Logic and Logical Philosophy 8: 5–31.
. 2000. “Adaptieve Logica's. Een Precieze Benadering Van Vertrouwde Maar Door Logici Verwaarloosde Redeneervormen”. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95: 174–189.
. 2003. “Wetenschap En Vrijzinnige Waarden”. De specificiteit van Vrijzinnig Humanistische Waarden: 1–14.
. 1986. “Natural Heuristics For Proof Construction. Part I: Classical Propositional Logic”. Logique et Analyse 32: 337–363.
. 1989. “A Diagrammatic Proof Search Procedure As Part Of A Formal Approach To Problem Solving” . Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic: 265–284.
. 2006. “Tutorial On Inconsistency-Adaptive Logics” . New Directions in Paraconsistent Logic.
. 2015. “A Procedural Criterion For Final Derivability In Inconsistency-Adaptive Logics”. Journal of Applied Logic 3: 221–250.
. 2005. “Some Contributions To The Logic Of Action”. Communication and Cognition 9: 347–376.
. 1976. “Grondslagen Van Het Vrijzinnig Humanisme. Een Kennistheoretisch Pleidooi” . Grondslagen Vrijzinnig Humanisme: 75–104.
. 1997.