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, 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