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

Authors
Philip Kremer
University of Toronto at Scarborough
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2004.06.004
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,132
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

No references found.

Add more references

Citations of this work BETA

Opaque Updates.Michael Cohen - 2021 - 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.
Dynamic Topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.

View all 26 citations / Add more citations

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 index
2017-02-19

Total views
6 ( #1,108,126 of 2,454,690 )

Recent downloads (6 months)
1 ( #449,768 of 2,454,690 )

How can I increase my downloads?

Downloads

My notes