On dynamic topological and metric logics
From MaRDI portal
Publication:865049
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
modal logic; metric space; dynamical system; topology; decidability; temporal logic; topological logic
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