CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

DOI10.1007/978-3-642-22119-4_4zbMath1331.68197OpenAlexW157215312MaRDI QIDQ3010357

Régis Alenda, Nicola Olivetti

Publication date: 1 July 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22119-4_4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Uses Software

• CSymLean
• CSLLean

Cites Work

• A modal logic framework for reasoning about comparative distances and topology
• CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity
• Tableau Calculi for $\mathcal{CSL}$ over minspaces
• Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
• Comparative Similarity, Tree Automata, and Diophantine Equations

This page was built for publication: CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces