Publications
Export 42 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is P [Clear All Filters]
“Proof Systems For Bat Consequence Relations ”. The Logic Journal of IGPL.
. In Press. . Submitted.
“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. “"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. “J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2014. “Graham Priest And Diderik Batens Interview Each Other”. The Reasoner 2: 2–4.
. 2008. “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ë.
. 2009. “Offline And Online Data: On Upgrading Functional Information To Knowledge”. Philosophical Studies 164: 371–392.
. 2013. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. “Adaptive Arbitration By Variant Counting On Commutative Bases With Weights”. In Fusion 2008: Proceedings of the 11th International Conference on Information Fusion, Fusion 2008: Proceedings of the 11th International Conference on Information Fusion, IEEE.
. 2008. “Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, . Filosofia Publisher.
. 2006. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.
. 2008. “An Epistemic Logic For Becoming Informed”. Synthese (KRA Serie) 167: 363-389. http://dx.doi.org/10.1007/s11229-008-9413-8.
. 2009. “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.
. 2011. “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, .
. 2008. “Belief Merging Based On Adaptive Interaction”. In A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, A Meeting of the Minds, proceedings of the workshop on Logic, Rationality and Interaction, . College Publications.
. 2007. “A Constructive Modal Semantics For Contextual Verification”. In Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications, CEUR-Workshop Proceedings. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/.
. 2009. “Epistemic Modalities” . Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
. 2009. “A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.
. 2012.