Tableau Calculi for $\mathcal{CSL}$ over minspaces
From MaRDI portal
Publication:3586033
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
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Model theory of finite structures (03C13)
Related Items
Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models, CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces