Publications
“On Building Abstract Terms In Typed Systems”. In Logica 2006 Yearbook, Logica 2006 Yearbook, . Filosofia Publisher.
. 2007. “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.
. 2010. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.
. 2008. “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. “An Adaptive Logic Based On Jaśkowski's Approach To Paraconsistency”. Journal of Philosophical Logic 35: 539–567.
. 2006. “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. “On The Acceptance Of Problem Solutions Derived From Inconsistent Constraints”. Logic and Logical Philosophy 8: 33–46.
. 2000. “Ontdekking En Creativiteit In Wetenschap En Muziek” . Nieuwe tendenzen in de geschiedenis en de filosofie van de wetenschappen: 41–52.
. 1993. “Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs”. Theoria 22/3: 295–304.
. 2007. “Goal-Directed Tableaux” . The Many Sides of Logic 21: 241–256.
. 2009. “An Adaptive Logic For Pragmatic Truth” . Paraconsistency. The Logical Way to the Inconsistent: 167–185.
. 2002. “The Early Positivists' Approach To Scientific Discovery”. Philosophica 64: 81–108.
. 1999. “Discussive Adaptive Logics: Handling Internal And External Inconsistencies” . Essays in Logic and Ontology 91: 211-223.
. 2006. “Adaptive Logics For Question Evocation”. Logique et Analyse 44: 135–164.
. 2001. “Empirical Progress And Ampliative Adaptive Logics” . Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.
. 2005. “Non-Adjunctive Deontic Logics That Validate Aggregation As Much As Possible”. Journal of Applied Logic.
. In Press.