Dynamic topological logic

DOI10.1016/j.apal.2004.06.004zbMath1067.03028OpenAlexW1998261607MaRDI 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 logictopological dynamicstemporal logictopological semantics

Mathematics Subject Classification ID

Related Items (28)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Dynamic topological logic