A logic for metric and topology

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

zbMATH Keywords

logic for reasoning about metric spaces

Mathematics Subject Classification ID

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)

Notes on logics of metric spaces ⋮ Continuous accessibility modal logics

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