On dynamic topological and metric logics
DOI10.1007/S11225-006-9005-XzbMATH Open1114.03026OpenAlexW1966660950WikidataQ62048646 ScholiaQ62048646MaRDI QIDQ865049FDOQ865049
Authors: F. Wolter, B. Konev, Roman Kontchakov, Michael Zakharyaschev 
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
Recommendations
- Dynamic topological logic of metric spaces
- On completeness of dynamic topological logic
- Dynamic topological logic
- scientific article; zbMATH DE number 5295716
- A logic for metric and topology
- A sound and complete axiomatization for dynamic topological logic
- An infinitary axiomatization of dynamic topological logic
- Dynamic topological logic interpreted over minimal systems
Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Many-dimensional modal logics: theory and applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A variant of a recursively unsolvable problem
- The algebra of topology
- Title not available (Why is that?)
- Dynamic topological logic
- Title not available (Why is that?)
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Title not available (Why is that?)
- Automated Deduction – CADE-20
Cited In (17)
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Modal languages for topology: expressivity and definability
- Dynamic Cantor Derivative Logic
- Title not available (Why is that?)
- Exploring the Jungle of Intuitionistic Temporal Logics
- Embedding theorems for LTL and its variants
- Dynamic topological logic of metric spaces
- A logic for metric and topology
- Dynamic topological logic
- A sound and complete axiomatization for dynamic topological logic
- Title not available (Why is that?)
- Dynamic topological logic interpreted over minimal systems
- Non-deterministic semantics for dynamic topological logic
- Convergence, continuity and recurrence in dynamic epistemic logic
- The intuitionistic temporal logic of dynamical systems
- Automated Reasoning About Metric and Topology
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
This page was built for publication: On dynamic topological and metric logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q865049)
