Publications
. 1999. “Clausius' Discovery Of The First Two Laws Of Thermodynamics. A Paradigm Of Reasoning From Inconsistencies”. Philosophica 63: 89–117.

. 1999. “Model-Based Reasoning In Creative Processes” . Model-Based Reasoning in Scientific Discovery: 199–217.
. 2004. “Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.

. 2006. “An Adaptive Logic Based On Jaśkowski's Approach To Paraconsistency”. Journal of Philosophical Logic 35: 539–567.

. 1993. “De Rationaliteit Van Persoonlijke Inperkingen” . Aktueel Filosoferen: 33–38.

. 2004. “Adaptive Logics And The Integration Of Induction And Deduction” . Induction and Deduction in the Sciences: 93–120.

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

. 2000. “An Extremely Rich Paraconsistent Logic And The Adaptive Logic Based On It” . Frontiers of Paraconsistent Logic: 189–201.

. 2000. “On The Acceptance Of Problem Solutions Derived From Inconsistent Constraints”. Logic and Logical Philosophy 8: 33–46.

. 2002. “Inconsistencies In Scientific Discovery. Clausius's Remarkable Derivation Of Carnot's Theorem” . History of Modern Physics. Acta of the XXth International Congress of History of Science: 143–154.

. 2007. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.

. 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.

. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.
. 2009. “An Epistemic Logic For Becoming Informed”. Synthese (KRA Serie) 167: 363-389. http://dx.doi.org/10.1007/s11229-008-9413-8.

. 2011. “On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” . Third Workshop in the Philosophy of Information: 63-68.
. 2011. “Giovanni Sommaruga (Ed): Formal Theories Of Information: From Shannon To Semantic Information Theory And General Concepts Of Information (Review)”. Minds and Machines 21: 119-122.

. 2008. “Quasi-Merging And Pure-Arbitration On Information For The Family Of Adaptive Logics Adm”. In Proceedings of the Workshop on Logic and Intelligent Interaction, Proceedings of the Workshop on Logic and Intelligent Interaction, .


]