Tableau Calculi for $\mathcal{CSL}$ over minspaces

DOI10.1007/978-3-642-15205-4_8zbMath1287.68158OpenAlexW1550086187MaRDI QIDQ3586033

Régis Alenda, Nicola Olivetti, Dmitry Tishkovsky, Camilla B. Schwind

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Model theory of finite structures (03C13)

Related Items (2)

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models ⋮ CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

This page was built for publication: Tableau Calculi for $\mathcal{CSL}$ over minspaces