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

. 2003. “Paraconsistent Compatibility”. Logique et Analyse 46: 251–287.

. 1993. “Adaptive Logic In Scientific Discovery: The Case Of Clausius”. Logique et Analyse 36: 359–389.

. 2000. “Analogical Reasoning In Creative Problem Solving Processes: Logico-Philosophical Perspectives” . Metaphor and Analogy in the Sciences: 17–34.

. 1999. “Deductive And Ampliative Adaptive Logics As Tools In The Study Of Creativity”. Foundations of Science 4: 325–336.

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

. 1996. “Steering Problem Solving Between Cliff Incoherence And Cliff Solitude”. Philosophica 58: 153–187.

. 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. “Inconsistencies And The Dynamics Of Science”. Logic and Logical Philosophy 11/12: 129–148.

. 1995. “Nieuwe Perspectieven Voor Het Begrijpen En Bevorderen Van Creativiteit”. Mores 40: 164–178.

. 1993. “Ontdekking En Creativiteit In Wetenschap En Muziek” . Nieuwe tendenzen in de geschiedenis en de filosofie van de wetenschappen: 41–52.
. In Press. “Proof Systems For Bat Consequence Relations ”. The Logic Journal of IGPL.
. 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.
. 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.

. 2010. “A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.”. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
. 2008. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.

. 2009. “A Note On Constructive Modalities For Information”. In Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008, . Brussel: Koninklijke Vlaamse Academie van België.
. 2013. “Offline And Online Data: On Upgrading Functional Information To Knowledge”. Philosophical Studies 164: 371–392.


]