Dynamic topological logic provides a context for studying the conﬂuence 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 wError: Corrupted memory profileError: read ICCBased color space profile errorith 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 deﬁned for a trimodal language with an S4-ish topological modality, and two temporal modalities, and ∗, both interpreted using the continuous function.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
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 the Rational Numbers.Philip Kremer - 2010 - Archive for Mathematical Logic 49 (4):519-527.
On Topological Spaces Equivalent to Ordinals.Jörg Flum & Juan Carlos Martinez - 1988 - Journal of Symbolic Logic 53 (3):785-795.
Some Modifications of Scott's Theorem on Injective Spaces.Andrzej W. Jankowski - 1986 - Studia Logica 45 (2):155 - 166.
Abstract Logics, Logic Maps, and Logic Homomorphisms.Steffen Lewitzka - 2007 - Logica Universalis 1 (2):243-276.
Functorial Duality for Ortholattices and de Morgan Lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Matching Topological and Frame Products of Modal Logics.Philip Kremer - 2016 - Studia Logica 104 (3):487-502.
Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Topological Representation of the Lambda-Calculus.Steve Awodey - 2000 - Mathematical Structures in Computer Science 10 (1):81-96.
Added to index2010-12-22
Total downloads47 ( #109,406 of 2,157,991 )
Recent downloads (6 months)5 ( #66,571 of 2,157,991 )
How can I increase my downloads?