A modal logic framework for reasoning about comparative distances and topology

DOI10.1016/J.APAL.2009.04.001MaRDI QIDQ636293zbMATH OpenOpenAlexFDO

Authors F. Wolter, M. S. Sheremet, Michael Zakharyaschev

Publication date 26 August 2011

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2009.04.001

zbMATH Keywords

topologymetric spacesDiophantine equationsmodal logicconditional logics

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• Modal Logics of Topological Relations
• scientific article; zbMATH DE number 5295723
• Topological Modal Logics with Difference Modality
• Axiomatizing distance logics
• Some Connections between Topological and Modal Logic
• scientific article; zbMATH DE number 877746
• Modal logics of metric spaces
• scientific article; zbMATH DE number 1140672
• scientific article; zbMATH DE number 4047688
• Topology and duality in modal logic

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3899653 (Why is no real title available?)
• scientific article; zbMATH DE number 1500644 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 1753151 (Why is no real title available?)
• scientific article; zbMATH DE number 2120511 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• scientific article; zbMATH DE number 3053259 (Why is no real title available?)
• A topological constraint language with component counting
• Comparative Similarity, Tree Automata, and Diophantine Equations
• Counterfactuals.
• First-order logics for comparative similarity
• Handbook of Spatial Logics
• The Expressivity of Quantifying over Regions
• The algebra of topology
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• Undecidability of Some Topological Theories
• « Everywhere » and « here »

Cited in

(17)

• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
• Notes on logics of metric spaces
• scientific article; zbMATH DE number 1759368 (Why is no real title available?)
• A propositional metric logic with fixed finite ranges
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• scientific article; zbMATH DE number 1884350 (Why is no real title available?)
• Comparative Similarity, Tree Automata, and Diophantine Equations
• Automated Reasoning About Metric and Topology
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• Completeness of a functional system for surjective functions
• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
• scientific article; zbMATH DE number 1759370 (Why is no real title available?)
• Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
• Axiomatizing distance logics
• Knowing-how under uncertainty
• A logic for metric and topology
• Logic of confidence

This page was built for publication: A modal logic framework for reasoning about comparative distances and topology

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