- The Dynamics of Epistemic Attitudes in Resource-Bounded Agents.Philippe Balbiani, David Fernández-Duque & Emiliano Lorini - 2019 - Studia Logica 107 (3):457-488.details
|
|
Reasoning About Permitted Announcements.P. Balbiani & P. Seban - 2011 - Journal of Philosophical Logic 40 (4):445-472.details
|
|
PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.details
|
|
Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.details
|
|
Keep 'hoping' for rationality: A solution to the backward induction paradox.Alexandru Baltag, Sonja Smets & Jonathan Alexander Zvesper - 2009 - Synthese 169 (2):301 - 333.details
|
|
Keep ‘hoping’ for rationality: a solution to the backward induction paradox.Alexandru Baltag, Sonja Smets & Jonathan Alexander Zvesper - 2009 - Synthese 169 (2):301-333.details
|
|
Foreword.Philippe Balbiani, Hans van Ditmarsch & Jan van Eijck - 2009 - Journal of Applied Non-Classical Logics 19 (4):397-402.details
|
|
Foreword.Philippe Balbiani - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):317-318.details
|
|
Complete Axiomatization of a Relative Modal Logic with Composition and Intersection.Philippe Balbiani & Luis Fariñas del Cerro - 1998 - Journal of Applied Non-Classical Logics 8 (4):325-335.details
|
|
Complete Axiomatization of a Relative Modal Logic with Composition and Intersection.Philippe Balbiani & Luis Fariñas del Cerro - 1998 - Journal of Applied Non-Classical Logics 8 (4):325-335.details
|
|
Agents that look at one another.P. Balbiani, O. Gasquet & F. Schwarzentruber - 2013 - Logic Journal of the IGPL 21 (3):438-467.details
|
|
A new proof of completeness for a relative modal logic with composition and intersection.Philippe Balbiani - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):269-280.details
|
|
Axiomatization and completeness of lexicographic products of modal logics.Philippe Balbiani - 2011 - Journal of Applied Non-Classical Logics 21 (2):141-176.details
|
|
On knowledge and obligation.Can Başķent, Loes Olde Loohuis & Rohit Parikh - 2012 - Episteme 9 (2):171-188.details
|
|
The epistemic structure of a theory of a game.Michael Bacharach - 1994 - Theory and Decision 37 (1):7-48.details
|
|
Generalizing AGM to a multi-agent setting.Guillaume Aucher - 2010 - Logic Journal of the IGPL 18 (4):530-558.details
|
|
Intricate Axioms as Interaction Axioms.Guillaume Aucher - 2015 - Studia Logica 103 (5):1035-1062.details
|
|
A dynamic logic for privacy compliance.Guillaume Aucher, Guido Boella & Leendert Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.details
|
|
A dynamic logic for privacy compliance.Guillaume Aucher, Guido Boella & Leendert van der Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.details
|
|
The logic of justification.Sergei Artemov - 2008 - Review of Symbolic Logic 1 (4):477-513.details
|
|
The Ontology of Justifications in the Logical Setting.Sergei N. Artemov - 2012 - Studia Logica 100 (1-2):17-30.details
|
|
First-order classical modal logic.Horacio Arló-Costa & Eric Pacuit - 2006 - Studia Logica 84 (2):171 - 210.details
|
|
Formal epistemology, context and content: Introduction to special issue on recent developments in formal epistemology: Formal epistemology, context and content.Horacio Arló-Costa - 2008 - Review of Symbolic Logic 1 (4):395-401.details
|
|
Proof theory in philosophy of mathematics.Andrew Arana - 2010 - Philosophy Compass 5 (4):336-347.details
|
|
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.details
|
|
Qualitative Models in Computational Simulative Sciences: Representation, Confirmation, Experimentation.Nicola Angius - 2019 - Minds and Machines 29 (3):397-416.details
|
|
The Many Faces of Closure and Introspection: An Interactive Perspective.Patrick Allo - 2013 - Journal of Philosophical Logic 42 (1):91-124.details
|
|
Reasoning about data and information: Abstraction between states and commodities.Patrick Allo - 2009 - Synthese 167 (2):231-249.details
|
|
Logical pluralism and semantic information.Patrick Allo - 2007 - Journal of Philosophical Logic 36 (6):659 - 694.details
|
|
Verifying time, memory and communication bounds in systems of reasoning agents.Natasha Alechina, Brian Logan, Hoang Nga Nguyen & Abdur Rakib - 2009 - Synthese 169 (2):385-403.details
|
|
Belief ascription under bounded resources.Natasha Alechina & Brian Logan - 2010 - Synthese 173 (2):179 - 197.details
|
|
A logic of situated resource-bounded agents.Natasha Alechina & Brian Logan - 2009 - Journal of Logic, Language and Information 18 (1):79-95.details
|
|
Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge.M. Ajspur, V. Goranko & D. Shkatov - 2013 - Logic Journal of the IGPL 21 (3):407-437.details
|
|
Logic for physical space: From antiquity to present days.Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko - 2012 - Synthese 186 (3):619-632.details
|
|
A logical formalization of the OCC theory of emotions.C. Adam, A. Herzig & D. Longin - 2009 - Synthese 168 (2):201-248.details
|
|
A Dynamic Solution to the Problem of Logical Omniscience.Mattias Skipper & Jens Christian Bjerring - 2019 - Journal of Philosophical Logic 48 (3):501-521.details
|
|
Belief as Question‐Sensitive.Seth Yalcin - 2018 - Philosophy and Phenomenological Research 97 (1):23-47.details
|
|
Perspectival Logic of Acceptance and Rejection.Alessandro Giordani - 2017 - Logique and Analyse:265-283.details
|
|
Lying and Fiction.Emar Maier - 2018 - In Jörg Meibauer (ed.), The Oxford Handbook of Lying. Oxford, United Kingdom: Oxford Handbooks. pp. 303-314.details
|
|
Metacognitive perspectives on unawareness and uncertainty.Paul Egré & Denis Bonnay - 2012 - In Michael Beran, Johannes Brandl, Josef Perner & Joëlle Proust (eds.), The Foundations of Metacognition. Oxford University Press. pp. 322.details
|
|
The PPE enterprise: Common Hobbesian roots and perspectives.Hartmut Kliemt - 2010 - Politics, Philosophy and Economics 9 (4):398-410.details
|
|
Synonymy, common knowledge, and the social construction of meaning.Reinhard Muskens - 2005 - In Paul Dekker & Michael Franke (eds.), Proceedings of the Fifteenth Amsterdam Colloquium. ILLC. pp. 161-166.details
|
|
Tractability and the computational mind.Rineke Verbrugge & Jakub Szymanik - 2018 - In Mark Sprevak & Matteo Colombo (eds.), The Routledge Handbook of the Computational Mind. Routledge. pp. 339-353.details
|
|
Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation.Yanjing Wang & Yanjun Li - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 559-580.details
|
|
Future Event Logic- Axioms and Complexity.Hans van Ditmarsch, Tim French & Sophie Pinchinate - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 77-99.details
|
|
Undecidablity for arbitrary public announcement logic.Tim French & Hans van Dirmarsch - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 23-42.details
|
|
Relevant Agents.Marta Bílková, Ondrej Majer, Michal Peliš & Greg Restall - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 22-38.details
|
|
Logic and Social Cognition: The Facts Matter, and So Do Computational Models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.details
|
|
Games, Norms and Reasons: Logic at the Crossroads.Johan van Benthem, Amitabha Gupta & Eric Pacuit (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Substantive assumptions in interaction: a logical perspective.Olivier Roy & Eric Pacuit - 2013 - Synthese 190 (5):891-908.details
|
|