Publications
“A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.
. 2013. “Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. “On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.
. 2007. “Graham Priest And Diderik Batens Interview Each Other”. The Reasoner 2: 2–4.
. 2008. “J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2014. “"clear Moon, Frost Soon". An Introduction To The Study Of Meteorological Practices In The Low Countries (1550-1850)”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008, . {Koninklijke Vlaamse Academie van België.
. 2009. “Many-Valued Logic Of Informal Provability: A Non-Deterministic Strategy”. The Review of Symbolic Logic.
. In Press. . Submitted.
“Proof Systems For Bat Consequence Relations ”. The Logic Journal of IGPL.
. In Press. “Philosophical Aspects Of An Alleged Connection Between The Axiom Of Choice And Predicting The Future” . Applications of Formal Philosophy The Road Less Travelled: 213-220.
. 2017. “Clausius' Discovery Of The First Two Laws Of Thermodynamics. A Paradigm Of Reasoning From Inconsistencies”. Philosophica 63: 89–117.
. 1999. “A Formal Logic For Abductive Reasoning”. Logic Journal of the IGPL 14: 221–236.
. 2006. “Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.
. 2004. “A Formal Logic For The Abduction Of Singular Hypotheses” . Explanation, Prediction, and Confirmation: 93–108.
. 2011. “An Adaptive Logic Based On Jaśkowski's Approach To Paraconsistency”. Journal of Philosophical Logic 35: 539–567.
. 2006. “Recente Ontwikkelingen In Onze Opvatting Over Creativiteit” . Gehelen en fragmenten. De vele gezichten van de filosofie: 259–261.
. 1993. “Analogical Reasoning In Creative Problem Solving Processes: Logico-Philosophical Perspectives” . Metaphor and Analogy in the Sciences: 17–34.
. 2000. “On The Acceptance Of Problem Solutions Derived From Inconsistent Constraints”. Logic and Logical Philosophy 8: 33–46.
. 2000. “Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.
. 2002. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.
. 2007. “Do We Need Paraconsistency In Commonsense Reasoning?” . Computer Modeling of Scientific Reasoning: 135–146.
. 2003. “Adaptive Logics For Abduction And The Explication Of Explanation-Seeking Processes” . Abduction and the Process of Scientific Discovery: 97–119.
. 2007. “The Early Positivists' Approach To Scientific Discovery”. Philosophica 64: 81–108.
. 1999.