Publications
. 2006. “A Formal Logic For Abductive Reasoning”. Logic Journal of the IGPL 14: 221–236.

. 2011. “A Formal Logic For The Abduction Of Singular Hypotheses” . Explanation, Prediction, and Confirmation: 93–108.

. 1993. “Recente Ontwikkelingen In Onze Opvatting Over Creativiteit” . Gehelen en fragmenten. De vele gezichten van de filosofie: 259–261.

. 2001. “Adaptive Logics For Question Evocation”. Logique et Analyse 44: 135–164.

. In Press. “Non-Adjunctive Deontic Logics That Validate Aggregation As Much As Possible”. Journal of Applied Logic.
. 2000. “Analogical Reasoning In Creative Problem Solving Processes: Logico-Philosophical Perspectives” . Metaphor and Analogy in the Sciences: 17–34.

. 2002. “Ampliative Adaptive Logics And The Foundation Of Logic-Based Approaches To Abduction”. Logical and Computational Aspects of Model-Based Reasoning: 39–71.

. 1999. “Erotetic Arguments From Inconsistent Premises”. Logique et Analyse 42: 49–80.

. 2016. “Which Style Of Reasoning To Choose In The Face Of Conflicting Information?”. Journal of Logic and Computation 26: 361--380.

. 2003. “Do We Need Paraconsistency In Commonsense Reasoning?” . Computer Modeling of Scientific Reasoning: 135–146.

. 2007. “Adaptive Logics For Abduction And The Explication Of Explanation-Seeking Processes” . Abduction and the Process of Scientific Discovery: 97–119.
. 2003. “Paraconsistent Compatibility”. Logique et Analyse 46: 251–287.

. 2017. “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.
. In Press. “Many-Valued Logic Of Informal Provability: A Non-Deterministic Strategy”. The Review of Symbolic Logic.
. In Press. “Proof Systems For Bat Consequence Relations ”. The Logic Journal of IGPL.
. 2009. “"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ë.

. 2014. “J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2008. “Graham Priest And Diderik Batens Interview Each Other”. The Reasoner 2: 2–4.

. In Press. “The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.

. 2009. “Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” . The Many Sides of Logic: 443-463.

. 2009. “Proceeding In Abstraction: From Concepts To Types And The Recent Perspective On Information”. History and Philosophy of Logic 30: 257–282. http://dx.doi.org/10.1080/01445340902872630.

. 2012. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.

. 2010. “Constructive Contextual Modal Judgments For Reasoning From Open Assumptions”. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, . Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.


]