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

Authors
Rasmus K. Rendsvig
University of Copenhagen
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.
Keywords Dynamic epistemic logic  Limit behavior  Convergence  Recurrence  Dynamical systems   Metric spaces  General topology  Modal logic
Categories (categorize this paper)
Buy the book Find it on Amazon.com
DOI 10.1007/978-3-662-55665-8_8
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.

View all 16 references / Add more references

Citations of this work BETA

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

Add more citations

Similar books and articles

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.
Dynamic Topological Logic of Metric Spaces.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (1):308-328.
Dynamic Topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
The Topology of Justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
Dynamic Topological Logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic Topological Logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Indicative Conditionals and Dynamic Epistemic Logic.Wesley H. Holliday & Thomas Icard - 2017 - Proceedings of the Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017), Liverpool, UK, 24-26 July 2017.
Dynamic Topological Logic Interpreted Over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.

Analytics

Added to PP index
2018-05-16

Total views
200 ( #57,063 of 2,498,759 )

Recent downloads (6 months)
18 ( #46,543 of 2,498,759 )

How can I increase my downloads?

Downloads

My notes