Dynamic topological logic

DOI10.1016/J.APAL.2004.06.004MaRDI QIDQ705534zbMATH OpenOpenAlexFDO

Authors Philip Kremer, G. E. 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

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Recommendations

• Dynamic topological S5
• An infinitary axiomatization of dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• scientific article; zbMATH DE number 5295716
• Non-deterministic semantics for dynamic topological logic

Cites work

• scientific article; zbMATH DE number 3898203 (Why is no real title available?)
• scientific article; zbMATH DE number 3966039 (Why is no real title available?)
• scientific article; zbMATH DE number 3719449 (Why is no real title available?)
• scientific article; zbMATH DE number 3745547 (Why is no real title available?)
• scientific article; zbMATH DE number 3522278 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3028682 (Why is no real title available?)
• A proof of topological completeness for S4 in \((0,1)\)
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• An elementary proof of the completeness of PDL
• Discrete linear future time without axioms
• On dynamic topological and metric logics
• Reasoning About Space: The Modal Way
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The algebra of topology

Cited in

(33)

• Dynamic topological S5
• Complete intuitionistic temporal logics for topological dynamics
• Opaque updates
• An infinitary axiomatization of dynamic topological logic
• Dynamic topological logic interpreted over minimal systems
• Completeness of \(\mathrm S4\) for the Lebesgue measure algebra
• The intuitionistic temporal logic of dynamical systems
• Products of ‘transitive” modal logics
• Dynamic topological logic of metric spaces
• The epistemology of nondeterminism
• A sound and complete axiomatization for dynamic topological logic
• Tangled modal logic for topological dynamics
• Cut elimination for S4C: A case study
• Embedding theorems for LTL and its variants
• Computable semantics for \(\text{CTL}^*\) on discrete-time and continuous-space dynamic systems
• Convergence, continuity and recurrence in dynamic epistemic logic
• Dynamic measure logic
• scientific article; zbMATH DE number 5295716 (Why is no real title available?)
• Exploring the Jungle of Intuitionistic Temporal Logics
• Dynamic Cantor Derivative Logic
• The modal logic of continuous functions on the rational numbers
• Non-primitive recursive decidability of products of modal logics with expanding domains
• Propositional logic of continuous transformations in Cantor space
• scientific article; zbMATH DE number 1989648 (Why is no real title available?)
• Dynamic Cantor derivative logic
• Modal languages for topology: expressivity and definability
• Some topological properties of paraconsistent models
• Topological Semantics of Justification Logic
• Non-deterministic semantics for dynamic topological logic
• On dynamic topological and metric logics
• Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems
• Geometric modal logic
• The modal logic of continuous functions on Cantor space

This page was built for publication: Dynamic topological logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q705534)