Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). Springer. pp. 108-122 (2017)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
KLECCA-4
Upload history
Archival date: 2018-05-16
View other versions
Added to PP index
2018-05-16

Total views
191 ( #33,308 of 65,770 )

Recent downloads (6 months)
13 ( #48,281 of 65,770 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.