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

“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. 
“Prioritized Dynamic Retraction Function On Non-Monotonic Information Updates” . The Many Sides of Logic: 443-463.
. 2009. 
“Proceeding In Abstraction: From Concepts To Types And The Recent Perspective On Information”. History and Philosophy of Logic 30: 257–282. http://dx.doi.org/10.1080/01445340902872630.
. 2009. 
“Strategies: What's In A Name?” . The Many Sides of Logic 21: 287–306.
. 2009. 
“Two Type-Theoretical Approaches To Privative Modification” . New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops: 239–258.
. 2009. 

“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. “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. 
“A Contextual Type Theory With Judgemental Modalities For Reasoning From Open Assumptions”. Logique et Analyse 55: 579–600.
. 2012. 

“A Formal Approach To Vague Expressions With Indexicals”. Logic and Engineering of Natural Language Semantics 9 (LENLS 9-2012): 37-51.
. 2012. 

“The Generation Of Abductive Explanations From Inconsistent Theories”. Logic Journal of the IGPL 20: 400–416.
. 2012. 