|Abstract||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 (interior), and two temporal modalities, (next) and ∗ (henceforth), both interpreted using the continuous function..|
|Keywords||No keywords specified (fix it)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
B. Konev, R. Kontchakov, F. Wolter & M. Zakharyaschev (2006). On Dynamic Topological and Metric Logics. Studia Logica 84 (1):129 - 160.
David Fernández-Duque (2011). Dynamic Topological Logic Interpreted Over Minimal Systems. Journal of Philosophical Logic 40 (6):767-804.
Steve Awodey & Kohei Kishida, Topology and Modality: The Topological Interpretation of First-Order Modal Logic.
Jörg Flum & Juan Carlos Martinez (1988). On Topological Spaces Equivalent to Ordinals. Journal of Symbolic Logic 53 (3):785-795.
Andrzej W. Jankowski (1986). Some Modifications of Scott's Theorem on Injective Spaces. Studia Logica 45 (2):155 - 166.
Steffen Lewitzka (2007). Abstract Logics, Logic Maps, and Logic Homomorphisms. Logica Universalis 1 (2).
Katalin Bimbó (2007). Functorial Duality for Ortholattices and de Morgan Lattices. Logica Universalis 1 (2).
S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
Added to index2010-12-22
Total downloads14 ( #83,117 of 549,087 )
Recent downloads (6 months)1 ( #63,317 of 549,087 )
How can I increase my downloads?