- Dynamic Introspection.Michael Cohen - 2021 - Dissertation, Stanford Universitydetails
|
|
Opaque Updates.Michael Cohen - 2020 - Journal of Philosophical Logic 50 (3):447-470.details
|
|
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.details
|
|
Freedom and Enforcement in Action: A Study in Formal Action Theory.Janusz Czelakowski - 2015 - Dordrecht, Netherland: Springer.details
|
|
The problem of perception and the no-miracles principle.Michael Cohen - 2020 - Synthese 198 (11):11065-11080.details
|
|
Inexact knowledge and dynamic introspection.Michael Cohen - 2021 - Synthese 199 (3-4):5509-5531.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
|
|
Belief Change in Branching Time: AGM-consistency and Iterated Revision. [REVIEW]Giacomo Bonanno - 2012 - Journal of Philosophical Logic 41 (1):201-236.details
|
|
DEL-based epistemic planning: Decidability and complexity.Thomas Bolander, Tristan Charrier, Sophie Pinchinat & François Schwarzentruber - 2020 - Artificial Intelligence 287 (C):103304.details
|
|
Temporal Logics of Agency.Johan Benthem & Eric Pacuit - 2010 - Journal of Logic, Language and Information 19 (4):389-393.details
|
|
Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2013 - Theoria 80 (2):116-152.details
|
|
Merging Frameworks for Interaction.Johan Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Logic in a Social Setting.Johan van Benthem - 2011 - Episteme 8 (3):227-247.details
|
|
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.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
|
|
DEL-sequents for progression.Guillaume Aucher - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):289-321.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
|
|
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
|
|
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
|
|
Dynamic Formal Epistemology.Patrick Girard, Olivier Roy & Mathieu Marion (eds.) - 2010 - Berlin, Germany: Springer.details
|
|
Announcement as effort on topological spaces.Aybüke Özgün, Sophia Knight & Hans Ditmarsch - 2019 - Synthese 196 (7):2927-2969.details
|
|
Combinations of Stit and Actions.Ming Xu - 2010 - Journal of Logic, Language and Information 19 (4):485-503.details
|
|
Actions as Events.Ming Xu - 2012 - Journal of Philosophical Logic 41 (4):765 - 809.details
|
|
On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).details
|
|
Book Reviews. [REVIEW]Yanjing Wang - 2014 - Studia Logica 102 (3):647-654.details
|
|
Verifying one hundred prisoners and a lightbulb.Hans van Ditmarsch & Jan van Eijck - 2010 - Journal of Applied Non-Classical Logics 20 (3):173-191.details
|
|
The modal logic of stepwise removal.Johan van Benthem, Krzysztof Mierzewski & Francesca Zaffora Blando - 2022 - Review of Symbolic Logic 15 (1):36-63.details
|
|
Temporal Logics of Agency.Johan van Benthem & Eric Pacuit - 2010 - Journal of Logic, Language and Information 19 (4):389-393.details
|
|
The Logic of Observation and Belief Revision in Scientific Communities.Hanna Sofie van Lee & Sonja Smets - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (2):243-266.details
|
|
Toward a Dynamic Logic of Questions.Johan van Benthem & Ştefan Minică - 2012 - Journal of Philosophical Logic 41 (4):633-669.details
|
|
Revocable Belief Revision.Hans van Ditmarsch - 2013 - Studia Logica 101 (6):1185-1214.details
|
|
Priority Structures in Deontic Logic.Johan van Benthem, Davide Grossi & Fenrong Liu - 2014 - Theoria 80 (2):116-152.details
|
|
Natural Language and Logic of Agency.Johan van Benthem - 2014 - Journal of Logic, Language and Information 23 (3):367-382.details
|
|
Modeling Reasoning in a Social Setting.Johan van Benthem - 2014 - Studia Logica 102 (2):235-265.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.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
|
|
Introspective forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.details
|
|
Hidden protocols: Modifying our expectations in an evolving world.Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang - 2014 - Artificial Intelligence 208 (1):18--40.details
|
|
Composing models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.details
|
|
Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.details
|
|
Announcement as effort on topological spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2019 - Synthese 196 (7):2927-2969.details
|
|
A Closeness- and Priority-Based Logical Study of Social Network Creation.Sonja Smets & Fernando R. Velázquez-Quesada - 2020 - Journal of Logic, Language and Information 29 (1):21-51.details
|
|
Logic for update products and steps into the past.Joshua Sack - 2010 - Annals of Pure and Applied Logic 161 (12):1431-1461.details
|
|
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.details
|
|
Logics of temporal-epistemic actions.Bryan Renne, Joshua Sack & Audrey Yap - 2016 - Synthese 193 (3):813-849.details
|
|
Reasoning with protocols under imperfect information.Eric Pacuit & Sunil Simon - 2011 - Review of Symbolic Logic 4 (3):412-444.details
|
|
Dynamic Epistemic Logic II: Logics of Information Change.Eric Pacuit - 2013 - Philosophy Compass 8 (9):815-833.details
|
|
A general framework for dynamic epistemic logic: towards canonical correspondences.Shota Motoura - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):50-89.details
|
|
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.details
|
|