Publications
Export 42 results:
[ Author] Title Type Year Filters: First Letter Of Last Name is P [Clear All Filters]
“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. “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. “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.
. 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.