- Logical Dynamics and Dynamical Systems.Rasmus Kraemmer Rendsvig - unknowndetails
|
|
(1 other version)Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.details
|
|
Pluralistic ignorance in the bystander effect: informational dynamics of unresponsive witnesses in situations calling for intervention.Rasmus Kraemmer Rendsvig - 2014 - Synthese 191 (11):2471-2498.details
|
|
Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces.Paolo Galeazzi & Emiliano Lorini - 2016 - Synthese 193 (7):2097-2127.details
|
|
Logical dynamics of belief change in the community.Fenrong Liu, Jeremy Seligman & Patrick Girard - 2014 - Synthese 191 (11):2403-2431.details
|
|
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.details
|
|
Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.details
|
|
A logic for extensional protocols.Ben Rodenhäuser - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):477-502.details
|
|
A sound and complete axiomatization for Dynamic Topological Logic.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (3):947-969.details
|
|
Dynamic topological logic of metric spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.details
|
|
'One is a Lonely Number': on the logic of communication.Johan van Benthem - unknowndetails
|
|
Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknowndetails
|
|
Automata for Epistemic Temporal Logic with Synchronous Communication.Swarup Mohalik & R. Ramanujam - 2010 - Journal of Logic, Language and Information 19 (4):451-484.details
|
|
Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.details
|
|
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.details
|
|
A knowledge based semantics of messages.Rohit Parikh & Ramaswamy Ramanujam - 2003 - Journal of Logic, Language and Information 12 (4):453-467.details
|
|
Reasoning about information change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.details
|
|
Logics for epistemic programs.Alexandru Baltag & Lawrence S. Moss - 2004 - Synthese 139 (2):165 - 224.details
|
|
Model Transformers for Dynamical Systems of Dynamic Epistemic Logic.Rasmus Kraemmer Rendsvig - 2015 - In Wiebe Van Der Hoek, Wesley H. Holliday & W. Wang (eds.), ogic, Rationality, and Interaction. LORI 2015. Lecture Notes in Computer Science, vol 9394. Springer.details
|
|
Diffusion, Influence and Best-Response Dynamics in Networks : An Action Model Approach.Rasmus Kraemmer Rendsvig - 2014 - In Ronald de Haan (ed.), Proceedings of the ESSLLI 2014 Student Session. pp. 63-75.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
|
|
True lies.Thomas Ågotnes, Hans van Ditmarsch & Yanjing Wang - 2018 - Synthese 195 (10):4581-4615.details
|
|
Merging Frameworks for Interaction.Johan Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|
(1 other version)Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.details
|
|
(1 other version)Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi - 2008 - Studia Logica 89 (3):441-445.details
|
|
Semantic results for ontic and epistemic change. van Ditmarsch, Hans & Kooi, Barteld - unknowndetails
|
|
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.details
|
|
Merging frameworks for interaction.Johan van Benthem, Jelle Gerbrandy, Tomohiro Hoshi & Eric Pacuit - 2009 - Journal of Philosophical Logic 38 (5):491-526.details
|
|