On dynamic topological and metric logics

DOI10.1007/s11225-006-9005-xzbMath1114.03026OpenAlexW1966660950WikidataQ62048646 ScholiaQ62048646MaRDI QIDQ865049

Frank Wolter, Michael Zakharyashchev, Boris Konev, Roman Kontchakov

Publication date: 13 February 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-9005-x

zbMATH Keywords

modal logicmetric spacedynamical systemtopologydecidabilitytemporal logictopological logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)

Related Items (11)

A sound and complete axiomatization for Dynamic Topological Logic ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Dynamic Cantor Derivative Logic ⋮ Non-finite axiomatizability of dynamic topological logic ⋮ Embedding theorems for LTL and its variants ⋮ Dynamic topological logic ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ Non-deterministic semantics for dynamic topological logic ⋮ Modal languages for topology: expressivity and definability ⋮ Dynamic topological logic interpreted over minimal systems

Cites Work

• Dynamic topological logic
• Many-dimensional modal logics: theory and applications
• Non-primitive recursive decidability of products of modal logics with expanding domains
• The algebra of topology
• Automated Deduction – CADE-20
• A variant of a recursively unsolvable problem
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On dynamic topological and metric logics