Publications
“Epistemic Modalities” . Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
. 2009. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.
. 2012. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.
. In Press. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“Graham Priest And Diderik Batens Interview Each Other”. The Reasoner 2: 2–4.
. 2008. ![](/sites/default/themes/logica/images/biblio.png)
“J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2014. ![application/pdf](/modules/file/icons/application-pdf.png)
“"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. ![](/sites/default/themes/logica/images/biblio.png)
“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. “Deductive And Ampliative Adaptive Logics As Tools In The Study Of Creativity”. Foundations of Science 4: 325–336.
. 1999. ![](/sites/default/themes/logica/images/biblio.png)
“Empirical Progress And Ampliative Adaptive Logics” . Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 83: 193–217.
. 2005. ![](/sites/default/themes/logica/images/biblio.png)
“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. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“Inconsistencies And The Dynamics Of Science”. Logic and Logical Philosophy 11/12: 129–148.
. 2003. ![](/sites/default/themes/logica/images/biblio.png)
“Nieuwe Perspectieven Voor Het Begrijpen En Bevorderen Van Creativiteit”. Mores 40: 164–178.
. 1995. ![](/sites/default/themes/logica/images/biblio.png)
“Elk Wetenschapper Zijn Onderzoeksprogramma?” . Iedereen die niet denkt zoals ik, volge mij. Acta 16de Nederlands-Vlaamse Filosofiedag: 61–67.
. 1994. ![](/sites/default/themes/logica/images/biblio.png)
“Model-Based Reasoning In Creative Processes” . Model-Based Reasoning in Scientific Discovery: 199–217.
. 1999. “Clausius' Discovery Of The First Two Laws Of Thermodynamics. A Paradigm Of Reasoning From Inconsistencies”. Philosophica 63: 89–117.
. 1999. ![](/sites/default/themes/logica/images/biblio.png)
“Direct Dynamic Proofs For Classical Compatibility”. Logique et Analyse 47: 305–317.
. 2004. ![](/sites/default/themes/logica/images/biblio.png)
“De Rationaliteit Van Persoonlijke Inperkingen” . Aktueel Filosoferen: 33–38.
. 1993. ![](/sites/default/themes/logica/images/biblio.png)
“Adaptive Logics And The Integration Of Induction And Deduction” . Induction and Deduction in the Sciences: 93–120.
. 2004. ![](/sites/default/themes/logica/images/biblio.png)
“An Adaptive Logic Based On Jaśkowski's Approach To Paraconsistency”. Journal of Philosophical Logic 35: 539–567.
. 2006. ![application/pdf](/modules/file/icons/application-pdf.png)
![](/sites/default/themes/logica/images/biblio.png)
“An Extremely Rich Paraconsistent Logic And The Adaptive Logic Based On It” . Frontiers of Paraconsistent Logic: 189–201.
. 2000. ![](/sites/default/themes/logica/images/biblio.png)