A logic for metric and topology

DOI10.2178/JSL/1122038915MaRDI QIDQ5718689zbMATH OpenOpenAlexFDO

Authors F. Wolter, Michael Zakharyaschev

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

Temporal logic (03B44) Other nonclassical logic (03B60) Logic in computer science (03B70) Metric spaces, metrizability (54E35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Recommendations

• scientific article; zbMATH DE number 5295723
• A modal logic framework for reasoning about comparative distances and topology
• Automated Reasoning About Metric and Topology
• On dynamic topological and metric logics
• Notes on logics of metric spaces

Cites work

• A logical approach to interpolation based on similarity relations
• A modal account of similarity-based reasoning
• A really temporal logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1455130 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• Logics of metric spaces
• On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
• The algebra of topology
• The benefits of relaxing punctuality
• The computational complexity of hybrid temporal logics
• The Computational Complexity of Provability in Systems of Modal Propositional Logic
• « Everywhere » and « here »

Cited in

(12)

• Continuous accessibility modal logics
• scientific article; zbMATH DE number 5872417 (Why is no real title available?)
• scientific article; zbMATH DE number 5295723 (Why is no real title available?)
• Automated Reasoning About Metric and Topology
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1759368 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• scientific article; zbMATH DE number 7108980 (Why is no real title available?)
• Logics of metric spaces
• Logics in Artificial Intelligence
• On dynamic topological and metric logics
• Notes on logics of metric spaces

This page was built for publication: A logic for metric and topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5718689)