Dynamic topological logic

Annals of Pure and Applied Logic 131 (1-3):133-158 (2005)
  Copy   BIBTEX

Abstract

Dynamic topological logic provides a context for studying the confluence of the topological semantics for S4, topological dynamics, and temporal logic. The topological semantics for S4 is based on topological spaces rather than Kripke frames. In this semantics, □ is interpreted as topological interior. Thus S4 can be understood as the logic of topological spaces, and □ can be understood as a topological modality. Topological dynamics studies the asymptotic properties of continuous maps on topological spaces. Let a dynamic topological system be a topological space X together with a continuous function f. f can be thought of in temporal terms, moving the points of the topological space from one moment to the next. Dynamic topological logics are the logics of dynamic topological systems, just as S4 is the logic of topological spaces. Dynamic topological logics are defined for a trimodal language with an S4-ish topological modality □, and two temporal modalities, ○ and *, both interpreted using the continuous function f. In particular, ○ expresses f’s action on X from one moment to the next, and * expresses the asymptotic behaviour of f.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Non-deterministic semantics for dynamic topological logic.David Fernández - 2009 - Annals of Pure and Applied Logic 157 (2-3):110-121.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
The modal logic of continuous functions on cantor space.Philip Kremer - 2006 - Archive for Mathematical Logic 45 (8):1021-1032.
The modal logic of continuous functions on the rational numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
Dynamic measure logic.Tamar Lando - 2012 - Annals of Pure and Applied Logic 163 (12):1719-1737.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.

Analytics

Added to PP
2017-02-19

Downloads
10 (#1,026,208)

6 months
3 (#447,120)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Philip Kremer
University of Toronto at Scarborough

Citations of this work

Opaque Updates.Michael Cohen - 2020 - Journal of Philosophical Logic 50 (3):447-470.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.

View all 33 citations / Add more citations

References found in this work

Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Always.G. H. von Wright - 1968 - Theoria 34 (3):208-221.
Discrete linear future time without axioms.Krister Segerberg - 1976 - Studia Logica 35 (3):273 - 278.

View all 6 references / Add more references