Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Convergence, Continuity and Recurrence in Dynamic Epistemic Logic

Klein, Dominik and Rendsvig, Rasmus K. LU (2017) Logic, Rationality, and Interaction In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10445 LNCS. p.108-122
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.

Please use this url to cite or link to this publication:
author
and
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
keywords
Convergence, Dynamic epistemic logic, Dynamical systems, General topology, Limit behavior, Metric spaces, Modal logic, Recurrence
host publication
Logic, Rationality, and Interaction : International Workshop on Logic, Rationality and Interaction - International Workshop on Logic, Rationality and Interaction
series title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
volume
10445 LNCS
pages
15 pages
publisher
Springer
conference name
Logic, Rationality, and Interaction
conference location
Sapporo, Japan
conference dates
2017-09-11 - 2017-09-14
external identifiers
  • scopus:85029451739
ISSN
03029743
16113349
ISBN
9783319649993
DOI
10.1007/978-3-662-55665-8_8
language
English
LU publication?
yes
id
e966a224-bb29-4145-ba52-5a30d3a45934
date added to LUP
2017-10-05 07:38:58
date last changed
2025-01-07 21:57:46
@inbook{e966a224-bb29-4145-ba52-5a30d3a45934,
  abstract     = {{<p>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.</p>}},
  author       = {{Klein, Dominik and Rendsvig, Rasmus K.}},
  booktitle    = {{Logic, Rationality, and Interaction : International Workshop on Logic, Rationality and Interaction}},
  isbn         = {{9783319649993}},
  issn         = {{03029743}},
  keywords     = {{Convergence; Dynamic epistemic logic; Dynamical systems; General topology; Limit behavior; Metric spaces; Modal logic; Recurrence}},
  language     = {{eng}},
  pages        = {{108--122}},
  publisher    = {{Springer}},
  series       = {{Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)}},
  title        = {{Convergence, Continuity and Recurrence in Dynamic Epistemic Logic}},
  url          = {{http://dx.doi.org/10.1007/978-3-662-55665-8_8}},
  doi          = {{10.1007/978-3-662-55665-8_8}},
  volume       = {{10445 LNCS}},
  year         = {{2017}},
}