Publications
“Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. “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. “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. “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. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.
. 2007. “Empirical Progress And Ampliative Adaptive Logics” . Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.
. 2005. “Avoiding Deontic Explosion By Contextually Restricting Aggregation”. In Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), . Dordrecht: Springer.
. 2010. “The Early Positivists' Approach To Scientific Discovery”. Philosophica 64: 81–108.
. 1999. “Elk Wetenschapper Zijn Onderzoeksprogramma?” . Iedereen die niet denkt zoals ik, volge mij. Acta 16de Nederlands-Vlaamse Filosofiedag: 61–67.
. 1994. “Model-Based Reasoning In Creative Processes” . Model-Based Reasoning in Scientific Discovery: 199–217.
. 1999. “Adaptive Logics For Question Evocation”. Logique et Analyse 44: 135–164.
. 2001. “Non-Adjunctive Deontic Logics That Validate Aggregation As Much As Possible”. Journal of Applied Logic.
. In Press. “De Rationaliteit Van Persoonlijke Inperkingen” . Aktueel Filosoferen: 33–38.
. 1993. “Adaptive Logics And The Integration Of Induction And Deduction” . Induction and Deduction in the Sciences: 93–120.
. 2004. “Erotetic Arguments From Inconsistent Premises”. Logique et Analyse 42: 49–80.
. 1999. “Steering Problem Solving Between Cliff Incoherence And Cliff Solitude”. Philosophica 58: 153–187.
. 1996. “An Extremely Rich Paraconsistent Logic And The Adaptive Logic Based On It” . Frontiers of Paraconsistent Logic: 189–201.
. 2000. “Which Style Of Reasoning To Choose In The Face Of Conflicting Information?”. Journal of Logic and Computation 26: 361--380.
. 2016.