Publications
Export 102 results:
Author Title Type [ Year
] Filters: First Letter Of Last Name is P [Clear All Filters]
. 2012. “A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2012. “Reasoning With Computer-Assisted Experiments In Mathematics” . Third Workshop in the Philosophy of Information: 80-92.
. 2012. “Report 'international Conference On History And Philosophy Of Computing' (Hapoc)”. The Reasoner 6: 7-8.
. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. “Type-Theoretical Dynamics. Exploring Belief Revision In A Constructive Framework” . The realism-antirealism debate in the age of alternative logics: 191–212.
. 2012. “A Unifying Framework For Reasoning About Normative Conflicts” . The logica yearbook 2011: 1–14.
. 2012. “A Unifying Framework For Reasoning About Normative Conflicts” . The logica yearbook 2011: 1–14.
. 2013. “Alleged Assassins: Realist And Constructivist Semantics For Modal Modification”. Logic, Language, and Computation 7758: 94–114.
. 2013. “Offline And Online Data: On Upgrading Functional Information To Knowledge”. Philosophical Studies 164: 371–392.
. 2013. “A Taxonomy Of Errors For Information Systems”. Minds and Machines 24: 249–273.
. 2014. “Bloody Analogical Reasoning” . Logic, Reasoning, and Rationality: 217–232.
. 2014. “The Concept Of Disease And Our Responsibility For Children” . Diagnostic Dilemmas in Child and Adolescent Psychiatry: 35–55.
. 2014. “Dynamic Derivations For Sequent-Based Deductive Argumentation” . COMMA 2014 Computational Models of Argument: 89–100.
. 2014. “J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2014. “J-Calc: A Typed Lambda Calculus For Intuitionistic Justification Logic”. Electronic Notes in Theoretical Computer Science 300: 71–87.
. 2017. “Abduction Logics Illustrating Pitfalls Of Defeasible Methods” . Applications of formal philosophy: the road less travelled 14: 169–193.
. 2017. “Paradoxen In De Vrijmetselarij En De Relatie Met Waarden” . Kappen aan de ruwe steen: 319–336.
. 2017. “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.
. 2018. “How To Take Heroin (If At All). A New Approach To Detachment In Deontic Logic” . Deontic Logic and Normative Systems: 14th International Conference: 317-335.
. 2019. “Hyperintensional Logics Of Reasons”. Logic Journal of the IGPL.
. In Press. “Logics Of (Formal And Informal) Provability” . Handbook of Formal Philosophy.
. In Press. “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. “The Semantics Of Untrustworthiness”. Topoi. An International Reiew of Philosophy.