- Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.details
|
|
A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.details
|
|
The dynamic logic of stating and asking.Ivano Ciardelli - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction. LORI 2017. Springer. pp. 240-255.details
|
|
Some remarks on the model theory of epistemic plausibility models.Lorenz Demey - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):375-395.details
|
|
Combinatorial Bitstring Semantics for Arbitrary Logical Fragments.Lorenz6 Demey & Hans5 Smessaert - 2018 - Journal of Philosophical Logic 47 (2):325-363.details
|
|
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.details
|
|
Inquisitive dynamic epistemic logic.Ivano A. Ciardelli & Floris Roelofsen - 2015 - Synthese 192 (6):1643-1687.details
|
|
Past and Present Interactions in Legal Reasoning and Logic.Matthias Armgardt, Patrice Canivez & Sandrine Chassagnard-Pinet (eds.) - 2015 - Cham, Switzerland: Springer.details
|
|
Communication Pattern Logic: Epistemic and Topological Views.Armando Castañeda, Hans van Ditmarsch, David A. Rosenblueth & Diego A. Velázquez - 2023 - Journal of Philosophical Logic 52 (5):1445-1473.details
|
|
A model for updates in a multi-agent setting.John Cantwell - 2007 - Journal of Applied Non-Classical Logics 17 (2):183-196.details
|
|
A formal model of multi-agent belief-interaction.John Cantwell - 2006 - Journal of Logic, Language and Information 15 (4):397-422.details
|
|
A Formal Model of Multi-Agent Belief-Interaction.John Cantwell - 2006 - Journal of Logic, Language and Information 15 (4):303-329.details
|
|
Justifications for common knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.details
|
|
Belief Change in Branching Time: AGM-consistency and Iterated Revision. [REVIEW]Giacomo Bonanno - 2012 - Journal of Philosophical Logic 41 (1):201-236.details
|
|
Announcements to Attentive Agents.Thomas Bolander, Hans van Ditmarsch, Andreas Herzig, Emiliano Lorini, Pere Pardo & François Schwarzentruber - 2016 - Journal of Logic, Language and Information 25 (1):1-35.details
|
|
The logic of resources and capabilities.Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis & Nachoem Wijnberg - 2018 - Review of Symbolic Logic 11 (2):371-410.details
|
|
The Epistemology of Nondeterminism.Adam Bjorndahl - 2022 - Journal of Logic, Language and Information 31 (4):619-644.details
|
|
Endogenizing Epistemic Actions.Adam Bjorndahl & Will Nalls - 2021 - Studia Logica 109 (5):1049-1091.details
|
|
Knowability Relative to Information.Peter Hawke & Franz Berto - 2021 - Mind 130 (517):1-33.details
|
|
The dynamics of awareness.Fernando R. Velázquez-Quesada & Johan van Benthem - 2010 - Synthese 177 (S1):5 - 27.details
|
|
Dynamic Update with Probabilities.Johan Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67-96.details
|
|
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.details
|
|
Dynamic Logics of Evidence-Based Beliefs.J. Benthem & E. Pacuit - 2011 - Studia Logica 99 (1-3):61-92.details
|
|
Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.details
|
|
Reasoning About Permitted Announcements.P. Balbiani & P. Seban - 2011 - Journal of Philosophical Logic 40 (4):445-472.details
|
|
Putting right the wording and the proof of the Truth Lemma for APAL.Philippe Balbiani - 2015 - Journal of Applied Non-Classical Logics 25 (1):2-19.details
|
|
Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.details
|
|
Logics for epistemic programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.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
|
|
'Knowable' as 'known after an announcement'.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - Review of Symbolic Logic 1 (3):305-334.details
|
|
A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.details
|
|
The Many Faces of Closure and Introspection: An Interactive Perspective.Patrick Allo - 2013 - Journal of Philosophical Logic 42 (1):91-124.details
|
|
Verification and Strategy Synthesis for Coalition Announcement Logic.Natasha Alechina, Hans van Ditmarsch, Rustam Galimullin & Tuo Wang - 2021 - Journal of Logic, Language and Information 30 (4):671-700.details
|
|
Question–answer games.Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch & Stefan Minica - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):265-288.details
|
|
The Fundamental Problem of Logical Omniscience.Peter Hawke, Aybüke Özgün & Francesco Berto - 2020 - Journal of Philosophical Logic 49 (4):727-766.details
|
|
Dynamic Logics of Evidence-Based Beliefs.Johan van Benthem & Eric Pacuit - 2011 - Studia Logica 99 (1):61-92.details
|
|
A Dynamic Logic of Data-Informed Knowledge.Kaya Deuser, Junli Jiang, Pavel Naumov & Wenxuan Zhang - 2024 - Journal of Philosophical Logic 53 (2):521-557.details
|
|
Editorial Introduction: Logical Methods for Social Concepts. [REVIEW]Andreas Herzig & Emiliano Lorini - 2011 - Journal of Philosophical Logic 40 (4):441-443.details
|
|
Some Truths Are Best Left Unsaid.Philippe Baldiani, Hans van Ditmarsch, Andreas Herzig & Tiago de Lima - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 36-54.details
|
|
Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic.Wesley Holliday - 2018 - In Hans van Ditmarsch & Gabriel Sandu (eds.), Outstanding Contributions to Logic: Jaakko Hintikka. Springer.details
|
|
Uncertainty, Rationality, and Agency.Wiebe van der Hoek - 2006 - Dordrecht, Netherland: Springer.details
|
|
Information, Interaction, and Agency.Wiebe van der Hoek (ed.) - 2005 - Dordrecht, Netherland: Springer.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.details
|
|
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.details
|
|
Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.details
|
|
Announcement as effort on topological spaces.Aybüke Özgün, Sophia Knight & Hans Ditmarsch - 2019 - Synthese 196 (7):2927-2969.details
|
|
Logical Dynamics of Social Communication.Tomoyuki Yamada - 2008 - Kagaku Tetsugaku 41 (2):59-73.details
|
|
Logical dynamics of some speech acts that affect obligations and preferences.Tomoyuki Yamada - 2008 - Synthese 165 (2):295 - 315.details
|
|