- Information dynamics and uniform substitution.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard Iii - 2013 - Synthese 190 (1):31-55.details
|
|
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives.Andreas Herzig - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):328-341.details
|
|
Reverse Public Announcement Operators on Expanded Models.Ryuichi Sebastian Haney - 2018 - Journal of Logic, Language and Information 27 (3):205-224.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
|
|
Norms as ascriptions of violations: An analysis in modal logic.Davide Grossi - 2011 - Journal of Applied Logic 9 (2):95-112.details
|
|
What will they say?—Public Announcement Games.Hans van Ditmarsch & Thomas Ågotnes - 2011 - Synthese 179 (S1):57 - 85.details
|
|
True lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2018 - Synthese 195 (10):4581-4615.details
|
|
Resolving distributed knowledge.Thomas Ågotnes & Yì N. Wáng - 2017 - Artificial Intelligence 252 (C):1-21.details
|
|
Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power.Thomas Ågotnes, Natasha Alechina & Rustam Galimullin - 2022 - Journal of Logic, Language and Information 31 (2):141-166.details
|
|
Coalition and Relativised Group Announcement Logic.Rustam Galimullin - 2021 - Journal of Logic, Language and Information 30 (3):451-489.details
|
|
What a maker’s knowledge could be.Luciano Floridi - 2018 - Synthese 195 (1):465-481.details
|
|
Game description language and dynamic epistemic logic compared.Thorsten Engesser, Robert Mattmüller, Bernhard Nebel & Michael Thielscher - 2021 - Artificial Intelligence 292 (C):103433.details
|
|
The language of social software.Jan van Eijck - 2010 - Synthese 177 (S1):77 - 96.details
|
|
Dynamics we can believe in: a view from the Amsterdam School on the centenary of Evert Willem Beth.Cédric Dégremont & Jonathan Zvesper - 2011 - Synthese 179 (2):223 - 238.details
|
|
Agreeing to disagree in probabilistic dynamic epistemic logic.Lorenz Demey - 2014 - Synthese 191 (3):409-438.details
|
|
To know or not to know: epistemic approaches to security protocol verification.Francien Dechesne & Yanjing Wang - 2010 - Synthese 177 (S1):51-76.details
|
|
Opaque Updates.Michael Cohen - 2020 - Journal of Philosophical Logic 50 (3):447-470.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 dynamics of awareness.Fernando R. Velázquez-Quesada & Johan van Benthem - 2010 - Synthese 177 (S1):5 - 27.details
|
|
Modal Frame Correspondences and Fixed-Points.Johan Van Benthem - 2006 - Studia Logica 83 (1-3):133-155.details
|
|
Dynamic Update with Probabilities.Johan van Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67 - 96.details
|
|
Dynamic Update with Probabilities.Johan Benthem, Jelle Gerbrandy & Barteld Kooi - 2009 - Studia Logica 93 (1):67-96.details
|
|
An action language for multi-agent domains.Chitta Baral, Gregory Gelfond, Enrico Pontelli & Tran Cao Son - 2022 - Artificial Intelligence 302 (C):103601.details
|
|
Probabilistic dynamic belief revision.Alexandru Baltag & Sonja Smets - 2008 - Synthese 165 (2):179 - 202.details
|
|
Logics of Informational Interactions.Alexandru Baltag & Sonja Smets - 2015 - Journal of Philosophical Logic 44 (6):595-607.details
|
|
Bisimulation for Conditional Modalities.A. Baltag & G. Cinà - 2018 - Studia Logica 106 (1):1-33.details
|
|
Relation-changing modal operators: Fig. 1.Carlos Areces, Raul Fervari & Guillaume Hoffmann - 2015 - Logic Journal of the IGPL 23 (4):601-627.details
|
|
Completeness results for memory logics.Carlos Areces, Santiago Figueira & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.details
|
|
Completeness results for memory logics.Carlos Areces, Santiago Figueria & Sergio Mera - 2012 - Annals of Pure and Applied Logic 163 (7):961-972.details
|
|
The Ethics of Nudge.Luc Bovens - 2008 - In Mats J. Hansson & Till Grüne-Yanoff (eds.), Preference Change: Approaches from Philosophy, Economics and Psychology. Springer, Theory and Decision Library A. pp. 207-20.details
|
|
General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 239-260.details
|
|
Modality, Semantics and Interpretations: The Second Asian Workshop on Philosophical Logic.Shier Ju, Hu Liu & Hiroakira Ono (eds.) - 2015 - Heidelberg, Germany: Springer.details
|
|
Preference Change: Approaches From Philosophy, Economics and Psychology.Till Grüne-Yanoff & Sven Ove Hansson - 2009 - Dordrecht, Netherland: 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
|
|
Krister Segerberg on Logic of Actions.Robert Trypuz (ed.) - 2013 - Dordrecht, Netherland: Springer Verlag.details
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008details
|
|
Redeneren over Communicatie.Jan van Eijck - unknowndetails
|
|
Toward a Theory of Play: A Logical Perspective on Games and Interaction.Johan van Benthem & Eric Pacuit - unknowndetails
|
|
Merging Observation and Access in Dynamic Logic.Johan van Benthem - unknowndetails
|
|
The Stories of Logic and Information.Johan van Benthem, Maricarmen Martinez, David Israel & John Perry - unknowndetails
|
|
Merging Frameworks for Interaction.Johan van Benthem Jelle Gerbrandy - unknowndetails
|
|
For Better or for Worse: Dynamic Logics of Preference.Johan van Benthem - unknowndetails
|
|
Inference, Promotion, and the Dynamics of Awareness.Johan van Benthem - unknowndetails
|
|
Multi-Agent Belief Revision with Linked Plausibilities.Jan van Eijck - unknowndetails
|
|
Propositional dynamic logic as a logic of knowledge update and belief revision.Jan van Eijck - unknowndetails
|
|
Comments on 'modal fixed point logic and changing models'.Jan van Eijck - unknowndetails
|
|
Conditionally Knowing What.Yanjing Wang & Jie Fan - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 569-587.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer International Publishing. pp. 289-337.details
|
|