A logic for metric and topology
From MaRDI portal
Publication:5718689
DOI10.2178/jsl/1122038915zbMath1089.03021OpenAlexW2141917917MaRDI QIDQ5718689
Frank Wolter, Michael Zakharyashchev
Publication date: 16 January 2006
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.3677
Metric spaces, metrizability (54E35) Other nonclassical logic (03B60) Logic in computer science (03B70) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)
Related Items (2)
Cites Work
- On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
- A logical approach to interpolation based on similarity relations
- A modal account of similarity-based reasoning
- The algebra of topology
- The Computational Complexity of Provability in Systems of Modal Propositional Logic
- A really temporal logic
- The benefits of relaxing punctuality
- The computational complexity of hybrid temporal logics
- « Everywhere » and « here »
- Logics of metric spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A logic for metric and topology