A modal logic framework for reasoning about comparative distances and topology

DOI10.1016/J.APAL.2009.04.001zbMath1225.03021OpenAlexW1969434560MaRDI QIDQ636293

Frank Wolter, Michael Zakharyashchev, Mikhaĭl Sergeevich Sheremet

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

modal logicmetric spacestopologyDiophantine equationsconditional logics

Mathematics Subject Classification ID

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

Related Items (7)

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity ⋮ Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ Completeness of a functional system for surjective functions ⋮ CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces ⋮ Logic of confidence ⋮ Knowing-how under uncertainty

Cites Work

• First-order logics for comparative similarity
• The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
• The algebra of topology
• The Expressivity of Quantifying over Regions
• Handbook of Spatial Logics
• A Topological Constraint Language with Component Counting
• « Everywhere » and « here »
• Comparative Similarity, Tree Automata, and Diophantine Equations
• Undecidability of Some Topological Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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