A modal logic framework for reasoning about comparative distances and topology
DOI10.1016/J.APAL.2009.04.001zbMATH Open1225.03021OpenAlexW1969434560MaRDI QIDQ636293FDOQ636293
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
Recommendations
- Modal Logics of Topological Relations
- scientific article
- 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
Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Cites Work
- Counterfactuals.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The algebra of topology
- Handbook of Spatial Logics
- Title not available (Why is that?)
- The Expressivity of Quantifying over Regions
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse
- « Everywhere » and « here »
- Title not available (Why is that?)
- Undecidability of Some Topological Theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- First-order logics for comparative similarity
- A topological constraint language with component counting
- Comparative Similarity, Tree Automata, and Diophantine Equations
Cited In (16)
- Knowing-how under uncertainty
- Notes on logics of metric spaces
- 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
- A logic for metric and topology
- Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
- Title not available (Why is that?)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- Comparative Similarity, Tree Automata, and Diophantine Equations
- Title not available (Why is that?)
- Automated Reasoning About Metric and Topology
- CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
- Logic of confidence
- Title not available (Why is that?)
- Completeness of a functional system for surjective functions
- Axiomatizing distance logics
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)
