- 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
|
|
Many-valued hybrid logic.Jens Ulrik Hansen, Thomas Bolander & Torben Braüner - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 111-132.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
|
|
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
|
|
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.details
|
|
Logic, Rationality, and Interaction.Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.) - 2017 - Springer.details
|
|
Relativized common knowledge for dynamic epistemic logic.Yì N. Wáng & Thomas Ågotnes - 2015 - Journal of Applied Logic 13 (3):370-393.details
|
|
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.Yì N. Wáng & Thomas Ågotnes - 2013 - Synthese 190 (S1).details
|
|
Intensional Protocols for Dynamic Epistemic Logic.Suzanne Wijk, Rasmus Rendsvig & Hanna Lee - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.details
|
|
On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).details
|
|
The logic of pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.details
|
|
The case of the hidden hand.Hans P. van Ditmarsch - 2005 - Journal of Applied Non-Classical Logics 15 (4):437-452.details
|
|
Towards a theory of intention revision.Wiebe van der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.details
|
|
Prolegomena to dynamic logic for belief revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
My beliefs about your beliefs: A case study in theory of mind and epistemic logic.Hans van Ditmarsch & Willem Labuschagne - 2007 - Synthese 155 (2):191-209.details
|
|
Intensional Protocols for Dynamic Epistemic Logic.Hanna S. van Lee, Rasmus K. Rendsvig & Suzanne van Wijk - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.details
|
|
Horror Contradictionis.Johan Van Benthem - 2011 - In Steven D. Hales (ed.), A Companion to Relativism. Oxford, UK: Wiley‐Blackwell. pp. 509–525.details
|
|
Comments to 'logics of public communications'.Hans P. van Ditmarsch - 2007 - Synthese 158 (2):181-187.details
|
|
Action emulation.Jan van Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.details
|
|
The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2019 - Erkenntnis 86 (3):733-762.details
|
|
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.details
|
|
From positive PDL to its non-classical extensions.Igor Sedlár & Vít Punčochář - 2019 - Logic Journal of the IGPL 27 (4):522-542.details
|
|
Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information: Positive logic with adjoint modalities.Mehrnoosh Sadrzadeh - 2010 - Review of Symbolic Logic 3 (3):351-373.details
|
|
Ockham’s razor and reasoning about information flow.Mehrnoosh Sadrzadeh - 2009 - Synthese 167 (2):391 - 408.details
|
|
Ockham’s razor and reasoning about information flow.Mehrnoosh Sadrzadeh - 2009 - Synthese 167 (2):391-408.details
|
|
Temporal languages for epistemic programs.Joshua Sack - 2008 - Journal of Logic, Language and Information 17 (2):183-216.details
|
|
Logic for update products and steps into the past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.details
|
|
Extending probabilistic dynamic epistemic logic.Joshua Sack - 2009 - Synthese 169 (2):241 - 257.details
|
|
Public and private communication are different: results on relative expressivity.Bryan Renne - 2008 - Synthese 165 (2):225-245.details
|
|
Multi-agent Justification Logic: communication and evidence elimination. [REVIEW]Bryan Renne - 2012 - Synthese 185 (S1):43-82.details
|
|
Logics of temporal-epistemic actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.details
|
|
Inquisitive Propositional Dynamic Logic.Vít Punčochář & Igor Sedlár - 2021 - Journal of Logic, Language and Information 30 (1):91-116.details
|
|
Dynamic epistemic logics for abstract argumentation.Carlo Proietti & Antonio Yuste-Ginel - 2021 - Synthese 199 (3-4):8641-8700.details
|
|
An epistemic logic for becoming informed.Giuseppe Primiero - 2009 - Synthese 167 (2):363 - 389.details
|
|
From Single Agent to Multi-Agent via Hypersequents.Francesca Poggiolesi - 2013 - Logica Universalis 7 (2):147-166.details
|
|
Dynamic term-modal logics for first-order epistemic planning.Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig - 2020 - Artificial Intelligence 286:103305.details
|
|
The Undecidability of Iterated Modal Relativization.Joseph S. Miller & Lawrence S. Moss - 2005 - Studia Logica 79 (3):373-407.details
|
|
On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes.Emiliano Lorini - 2013 - Journal of Philosophical Logic 42 (6):863-904.details
|
|
Modeling of Phenomena and Dynamic Logic of Phenomena.Boris Kovalerchuk, Leonid Perlovsky & Gregory Wheeler - 2011 - Journal of Applied Non-Classical Logic 22 (1):1-82.details
|
|
Modelling phenomena and dynamic logic of phenomena.Boris Kovalerchuk, Leonid Perlovsky & Gregory Wheeler - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):53-82.details
|
|
Expressivity and completeness for public update logics via reduction axioms.Barteld Kooi - 2007 - Journal of Applied Non-Classical Logics 17 (2):231-253.details
|
|
Arrow update logic.Barteld Kooi & Bryan Renne - 2011 - Review of Symbolic Logic 4 (4):536-559.details
|
|
Metrics for Formal Structures, with an Application to Kripke Models and Their Dynamics.Dominik Klein & Rasmus K. Rendsvig - forthcoming - Journal of Symbolic Logic:1-21.details
|
|
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic.Dominik Klein & Rasmus K. Rendsvig - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122.details
|
|
Update Semantics of Security Protocols.Arjen Hommersom, John-Jules Meyer & Erik De Vink - 2004 - Synthese 142 (2):229 - 267.details
|
|
Towards a theory of intention revision.Wiebe van Der Hoek, Wojciech Jamroga & Michael Wooldridge - 2007 - Synthese 155 (2):265-290.details
|
|
Towards a “Sophisticated” Model of Belief Dynamics. Part I: The General Framework.Brian Hill - 2008 - Studia Logica 89 (1):81-109.details
|
|
Towards a “Sophisticated” Model of Belief Dynamics. Part II: Belief Revision.Brian Hill - 2008 - Studia Logica 89 (3):291-323.details
|
|