- Ockham’s razor and reasoning about information flow.Mehrnoosh Sadrzadeh - 2009 - Synthese 167 (2):391-408.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
|
|
Announcement as effort on topological spaces.Aybüke Özgün, Sophia Knight & Hans Ditmarsch - 2019 - Synthese 196 (7):2927-2969.details
|
|
Logical dynamics of some speech acts that affect obligations and preferences.Tomoyuki Yamada - 2008 - Synthese 165 (2):295 - 315.details
|
|
Logical Dynamics of Social Communication.Tomoyuki Yamada - 2008 - Kagaku Tetsugaku 41 (2):59-73.details
|
|
Advice on the Logic of Argument.John Woods - 2013 - Revista de Humanidades de Valparaíso 1:7-34.details
|
|
Public announcement logic with distributed knowledge: expressivity, completeness and complexity.Yì N. Wáng & Thomas Ågotnes - 2013 - Synthese 190 (S1).details
|
|
The Knowability Paradox and Unsuccessful Updates.Arkadiusz Wójcik - 2020 - Studies in Logic, Grammar and Rhetoric 62 (1):53-71.details
|
|
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic1.Martin Wirsing & Alexander Knapp - 2023 - Logic Journal of the IGPL 31 (6):1047-1068.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
|
|
A logic of goal-directed knowing how.Yanjing Wang - 2018 - Synthese 195 (10):4419-4439.details
|
|
Reasoning Processes as Epistemic Dynamics.Fernando R. Velázquez-Quesada - 2015 - Axiomathes 25 (1):41-60.details
|
|
Inference and update.Fernando Raymundo Velázquez-Quesada - 2009 - Synthese 169 (2):283-300.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
|
|
The Secret of My Success.Hans Van Ditmarsch & Barteld Kooi - 2006 - Synthese 151 (2):201-232.details
|
|
The succinctness of the cover modality.H. Van Ditmarsch & P. Iliev - 2015 - Journal of Applied Non-Classical Logics 25 (4):373-405.details
|
|
The Russian cards problem.Hans van Ditmarsch - 2003 - Studia Logica 75 (1):31-62.details
|
|
Semantics for Knowledge and Change of Awareness.Hans van Ditmarsch & Tim French - 2014 - Journal of Logic, Language and Information 23 (2):169-195.details
|
|
Revocable Belief Revision.Hans van Ditmarsch - 2013 - Studia Logica 101 (6):1185-1214.details
|
|
Prolegomena to dynamic logic for belief revision.Hans P. Van Ditmarsch - 2005 - Synthese 147 (2):229-275.details
|
|
Propositional quantification in logics of contingency.Hans van Ditmarsch & Jie Fan - 2016 - Journal of Applied Non-Classical Logics 26 (1):81-102.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
|
|
Positive Announcements.Hans van Ditmarsch, Tim French & James Hales - 2020 - Studia Logica 109 (3):639-681.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
|
|
Introspective forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.details
|
|
Foreword.Hans Van Ditmarsch & Andreas Herzig - 2007 - Journal of Applied Non-Classical Logics 17 (2):125-128.details
|
|
Evidence and plausibility in neighborhood structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit - 2014 - Annals of Pure and Applied Logic 165 (1):106-133.details
|
|
Descriptions of game actions.Hans P. van Ditmarsch - 2002 - Journal of Logic, Language and Information 11 (3):349-365.details
|
|
Dynamics of lying.Hans van Ditmarsch - 2014 - Synthese 191 (5):1-33.details
|
|
Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.details
|
|
Dynamic Logics of Evidence-Based Beliefs.Johan van Benthem & Eric Pacuit - 2011 - Studia Logica 99 (1):61-92.details
|
|
Comments to 'logics of public communications'.Hans P. van Ditmarsch - 2007 - Synthese 158 (2):181-187.details
|
|
Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.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
|
|
Announcement as effort on topological spaces.Hans van Ditmarsch, Sophia Knight & Aybüke Özgün - 2019 - Synthese 196 (7):2927-2969.details
|
|
A logic of knowing why.Chao Xu, Yanjing Wang & Thomas Studer - 2021 - Synthese 198 (2):1259-1285.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
|
|
Generation and Selection of Abductive Explanations for Non-Omniscient Agents.Fernando Soler-Toscano & Fernando R. Velázquez-Quesada - 2014 - Journal of Logic, Language and Information 23 (2):141-168.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
|
|
On combinations of propositional dynamic logic and doxastic modal logics.Renate A. Schmidt & Dmitry Tishkovsky - 2008 - Journal of Logic, Language and Information 17 (1):109-129.details
|
|
A Four-Valued Dynamic Epistemic Logic.Yuri David Santos - 2020 - Journal of Logic, Language and Information 29 (4):451-489.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
|
|
A dynamic-epistemic hybrid logic for intentions and information changes in strategic games.O. Roy - 2009 - Synthese 171 (2):291 - 320.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
|
|