Model Transformers for Dynamical Systems of Dynamic Epistemic Logic

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 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-662-48561-3_26

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

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.
Intensional Protocols for Dynamic Epistemic Logic.Suzanne Wijk, Rasmus Rendsvig & Hanna Lee - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.
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.
Modeling truly dynamic epistemic scenarios in a partial version of DEL.Jens Ulrik Hansen - 2014 - In Michal Dancak & Vit Puncochar (eds.), The Logica Yearbook 2013. pp. 63-75.
Terminating Tableaux for Dynamic Epistemic Logics.Jens Ulrik Hansen - 2010 - Electronic Notes in Theoretical Computer Science 262:141-156.
Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Dynamic Epistemic Logic.Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
A dynamic logic of interrogative inquiry.Yacin Hamami - 2015 - In Can Başkent (ed.), Perspectives on Interrogative Models of Inquiry: Developments in Inquiry and Questions. Cham, Switzerland: Springer. pp. 129-161.
More for free: A dynamic epistemic framework for conformant planning over transition systems.Yanjun Li, Quan Yu & Yanjing Wang - 2017 - Journal of Logic and Computation 27 (8):2383--2410.
Dynamic Epistemic Logic of Diffusion and Prediction in Threshold Models.Alexandru Baltag, Zoé Christoff, Rasmus Kraemmer Rendsvig & Sonja Smets - unknown
A sound and complete axiomatization for Dynamic Topological Logic.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (3):947-969.
Inquisitive dynamic epistemic logic.Ivano A. Ciardelli & Floris Roelofsen - 2015 - Synthese 192 (6):1643-1687.
Logical Dynamics and Dynamical Systems.Rasmus Kraemmer Rendsvig - unknown
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Modelling the epistemics of communication with functional programming.Jan van Eijck - unknown

Analytics

Added to PP
2020-01-13

Downloads
17 (#838,752)

6 months
11 (#220,905)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rasmus K. Rendsvig
University of Copenhagen

Citations of this work

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.
Intensional Protocols for Dynamic Epistemic Logic.Suzanne Wijk, Rasmus Rendsvig & Hanna Lee - 2019 - Journal of Philosophical Logic 48 (6):1077-1118.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references