- Inquisitive dynamic epistemic logic.Ivano A. Ciardelli & Floris Roelofsen - 2015 - Synthese 192 (6):1643-1687.details
|
|
DEL-sequents for progression.Guillaume Aucher - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):289-321.details
|
|
Action emulation.Jan Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.details
|
|
Action emulation.Jan van Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.details
|
|
Relativized common knowledge for dynamic epistemic logic.Yì N. Wáng & Thomas Ågotnes - 2015 - Journal of Applied Logic 13 (3):370-393.details
|
|
On axiomatizations of public announcement logic.Yanjing Wang & Qinxiang Cao - 2013 - Synthese 190 (S1).details
|
|
A logic of goal-directed knowing how.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.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
|
|
Logic and Social Cognition: The Facts Matter, and So Do Computational Models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.details
|
|
Dynamic Epistemic Logic for Implicit and Explicit Beliefs.Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):107-140.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 logic of pit.Hans P. Van Ditmarsch - 2006 - Synthese 149 (2):343-374.details
|
|
Prolegomena to dynamic logic for belief revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.details
|
|
Public announcements, public assignments and the complexity of their logic.Hans van Ditmarsch, Andreas Herzig & Tiago De Lima - 2012 - Journal of Applied Non-Classical Logics 22 (3):249-273.details
|
|
McCarthy variations in a modal key.Johan van Benthem - 2011 - Artificial Intelligence 175 (1):428-439.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
Logical dynamics meets logical pluralism?Johan van Benthem - 2008 - Australasian Journal of Logic 6:182-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
|
|
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
|
|
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.details
|
|
Dynamic logic of preference upgrade.Johan van Benthem & Fenrong Liu - 2007 - Journal of Applied Non-Classical Logics 17 (2):157-182.details
|
|
Comments to 'logics of public communications'.Hans P. van Ditmarsch - 2007 - Synthese 158 (2):181-187.details
|
|
Composing models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.details
|
|
An Epistemic Separation Logic with Action Models.Hans van Ditmarsch, Didier Galmiche & Marta Gawek - 2022 - Journal of Logic, Language and Information 32 (1):89-116.details
|
|
Arbitrary arrow update logic.Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi & Louwe B. Kuijer - 2017 - Artificial Intelligence 242 (C):80-106.details
|
|
Propositional dynamic logic for searching games with errors.Bruno Teheux - 2014 - Journal of Applied Logic 12 (4):377-394.details
|
|
Predicate Change: A Study on the Conservativity of Conceptual Change.Corina Strößner - 2020 - Journal of Philosophical Logic 49 (6):1159-1183.details
|
|
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents.Anthia Solaki - 2022 - Journal of Logic, Language and Information 31 (4):529-553.details
|
|
A Four-Valued Dynamic Epistemic Logic.Yuri David Santos - 2020 - Journal of Logic, Language and Information 29 (4):451-489.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
|
|
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
|
|
Dynamic epistemic logics for abstract argumentation.Carlo Proietti & Antonio Yuste-Ginel - 2021 - Synthese 199 (3-4):8641-8700.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
|
|
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.details
|
|
Iterative information update and stability of strategies.Takuya Masuzawa & Koji Hasebe - 2011 - Synthese 179 (1):87 - 102.details
|
|
Rethinking epistemic logic with belief bases.Emiliano Lorini - 2020 - Artificial Intelligence 282 (C):103233.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
|
|
Model Theoretical Aspects of Weakly Aggregative Modal Logic.Jixin Liu, Yifeng Ding & Yanjing Wang - 2022 - Journal of Logic, Language and Information 31 (2):261-286.details
|
|
Logical dynamics of belief change in the community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.details
|
|
Epistemology, Context, and Formalism.Franck Lihoreau & Manuel Rebuschi (eds.) - 2014 - Heidelberg: Springer Verlag.details
|
|
A dynamic epistemic framework for reasoning about conformant probabilistic plans.Yanjun Li, Barteld Kooi & Yanjing Wang - 2019 - Artificial Intelligence 268 (C):54-84.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
|
|
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
|
|
Asynchronous knowledge with hidden actions in the situation calculus.Ryan F. Kelly & Adrian R. Pearce - 2015 - Artificial Intelligence 221 (C):1-35.details
|
|
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.details
|
|
Dynamic epistemic logic with branching temporal structures.Tomohiro Hoshi & Audrey Yap - 2009 - Synthese 169 (2):259 - 281.details
|
|