Options
Convergence, Continuity and Recurrence in Dynamic Epistemic Logic
Klein, Dominik; Rendsvig, Rasmus K. (2017): Convergence, Continuity and Recurrence in Dynamic Epistemic Logic, in: Alexandru Baltag, Jeremy Seligman, und Tomoyuki Yamada (Hrsg.), Logic, rationality, and interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings, Berlin, Heidelberg: Springer, S. 108–122, doi: 10.1007/978-3-662-55665-8.
Faculty/Chair:
Author:
Editor:
Title of the compilation:
Logic, rationality, and interaction : 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings
Corporate Body:
LORI: International Workshop on Logic, Rationality and Interaction, 6th international workshop, 2017, Sapporo, Japan
Publisher Information:
Year of publication:
2017
Pages:
ISBN:
978-3-662-55664-1
Series ; Volume:
Lecture notes in computer science ; 10455
Language:
English
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
General topology
Modal logic
Type:
Conferenceobject
Activation date:
December 14, 2017
Permalink
https://fis.uni-bamberg.de/handle/uniba/43010