Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models

DOI10.1007/978-3-642-33353-8_1zbMath1361.68212OpenAlexW31141369MaRDI QIDQ2915053

Nicola Olivetti, Régis Alenda

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (1)

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models

Cites Work

• Unnamed Item
• Unnamed Item
• A modal logic framework for reasoning about comparative distances and topology
• First-order logics for comparative similarity
• Weak AGM postulates and strong Ramsey test: A logical formalization
• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
• Tableau calculus for preference-based conditional logics
• Tableau Calculi for $\mathcal{CSL}$ over minspaces
• Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
• Updates and counterfactuals
• Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces
• Comparative Similarity, Tree Automata, and Diophantine Equations
• A Logic for Concepts and Similarity

This page was built for publication: Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models