Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada, Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122 (2017)
  Copy   BIBTEX

Abstract

The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent with convergence in Stone topology. Presented is a flexible, parametrized family of metrics inducing the latter, used as an analytical aid. We show maps induced by action model transformations continuous with respect to the Stone topology and present results on the recurrent behavior of said maps.

Other Versions

No versions found

Similar books and articles

Analytics

Added to PP
2018-05-16

Downloads
637 (#45,891)

6 months
114 (#55,985)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dominik Klein
Utrecht University
Rasmus K. Rendsvig
University of Copenhagen

Citations of this work

Collective Opinion as Tendency Towards Consensus.Chenwei Shi - 2020 - Journal of Philosophical Logic 50 (3):593-613.

Add more citations

References found in this work

Dynamic logic for belief revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 16 references / Add more references