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

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