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

“An Atlas For The Social World: What Should It (Not) Look Like? Interdisciplinarity And Pluralism In The Social Sciences” . Worldviews, Science and Us: Interdisciplinary Perspectives on Worlds, Cultures and Society.: 43–72.
. 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. 

“On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” . Third Workshop in the Philosophy of Information: 63-68.
. 2011. 
“On The Necessity Of (Sometimes) Being Synthetic. Comment On Poggiolesi.” . Third Workshop in the Philosophy of Information: 63-68.
. 2011. 
“Report 3Rd Workshop In The Philosophy Of Information”. The Reasoner 1: 6-7.
. 2011. 
“An Adaptive Logic Framework For Conditional Obligations And Deontic Dilemmas” . Logic and logical philosophy 19: 95–128.
. 2010. 
“The Body In Renaissance Arithmetic: From Mnemonics To Embodied Cognition”. In Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, Proceedings of the Thirty Sixth Annual Convention of the Society for the Study of Artificial Intelligence and Simulation, . The Society for the Study of Artificial Intelligence and the Simulation of Behaviour.
. 2010. 

“Constructive Contextual Modal Judgments For Reasoning From Open Assumptions”. In Proceedings of the Computability in Europe 2010 Conference, Proceedings of the Computability in Europe 2010 Conference, . Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores.
. 2010. 

“Inconsistency-Adaptive Modal Logics: On How To Cope With Modal Inconsistency” . Logic and Logical Philosophy 19: 31–61. http://www.logika.umk.pl/llp/pi.html.
. 2010. 
“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. 
“On Relevance Conditions For Asserting Disjunctions” . The Logica Yearbook 2009: 143–156.
. 2010. 
“The Symbolic Model For Algebra: Functions And Mechanisms” . Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.
. 2010. 

“William Harvey En De Ontdekking Van De Bloedsomloop.” . Fascinerend Leven. Markante Figuren en Ideeën uit de Geschiedenis van de Biologie.
. 2010. “"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. 
“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. 

“An Epistemic Logic For Becoming Informed”. Synthese (KRA Serie) 167: 363-389. http://dx.doi.org/10.1007/s11229-008-9413-8.
. 2009. 
“Epistemic Modalities” . Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
. 2009. 

“Epistemic Modalities” . Acts of Knowledge: History, Philosophy and Logic 9: 207–232.
. 2009. 
