On dynamic topological and metric logics

DOI10.1007/s11225-006-9005-xzbMath1114.03026WikidataQ62048646 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 logic; metric space; dynamical system; topology; decidability; temporal logic; topological logic

Mathematics Subject Classification ID

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

03B60: Other nonclassical logic

03B25: Decidability of theories and sets of sentences

03B44: Temporal logic

Related Items

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

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