Dynamic topological logic

DOI10.1016/j.apal.2004.06.004zbMath1067.03028MaRDI QIDQ705534

Philip Kremer, Grigori Mints

Publication date: 31 January 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.06.004

zbMATH Keywords

modal logic; topological dynamics; temporal logic; topological semantics

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B44: Temporal logic

Related Items

The intuitionistic temporal logic of dynamical systems, COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS, Dynamic topological logic of metric spaces, Non-finite axiomatizability of dynamic topological logic, Products of ‘transitive” modal logics, Embedding theorems for LTL and its variants, The epistemology of nondeterminism, Completeness of \(\mathrm S4\) for the Lebesgue measure algebra, Some topological properties of paraconsistent models, Dynamic measure logic, Dynamic topological logic interpreted over minimal systems, Cut elimination for S4C: A case study, The modal logic of continuous functions on Cantor space, On dynamic topological and metric logics, The modal logic of continuous functions on the rational numbers, Non-deterministic semantics for dynamic topological logic, Modal languages for topology: expressivity and definability, Dynamic topological S5, Opaque updates, Propositional logic of continuous transformations in Cantor space, Non-primitive recursive decidability of products of modal logics with expanding domains, A sound and complete axiomatization for Dynamic Topological Logic, COMPUTABLE SEMANTICS FOR CTL* ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS, Topological Semantics of Justification Logic, Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems

Cites Work

• On dynamic topological and metric logics
• An elementary proof of the completeness of PDL
• Discrete linear future time without axioms
• A proof of topological completeness for S4 in \((0,1)\)
• The algebra of topology
• Reasoning About Space: The Modal Way
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item