%0 Conference Paper %1 Alenda2011 %A Alenda, Régis %A Olivetti, Nicola %B TABLEAUX %D 2011 %K myown ComparativeSimilarity Comparative Similarity Minspace LimitAssumption ConditionalLogic Conditional ModalLogic Modal Axiomatization TableauCalculus Distance Metric DistanceSpace MetricSpace PreferentialSemantics Preferential TheoremProver Theorem Prover Lean Prolog %P 21-26 %T CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

@inproceedings{Alenda2011, added-at = {2012-07-05T12:40:29.000+0200}, author = {Alenda, R{\'e}gis and Olivetti, Nicola}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2ae7d14916f8d89a3d7113dbb9a55d82e/ralenda}, booktitle = {TABLEAUX}, crossref = {DBLP:conf/tableaux/2011}, ee = {http://dx.doi.org/10.1007/978-3-642-22119-4_4}, file = {Alenda2011-TABLEAUX2011.pdf:MyPapers/Alenda2011-TABLEAUX2011.pdf:PDF}, groups = {public}, interhash = {8b913607469b5b8f896cdee711eaa108}, intrahash = {ae7d14916f8d89a3d7113dbb9a55d82e}, keywords = {myown ComparativeSimilarity Comparative Similarity Minspace LimitAssumption ConditionalLogic Conditional ModalLogic Modal Axiomatization TableauCalculus Distance Metric DistanceSpace MetricSpace PreferentialSemantics Preferential TheoremProver Theorem Prover Lean Prolog}, pages = {21-26}, timestamp = {2012-07-05T12:40:29.000+0200}, title = {CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces}, username = {ralenda}, year = 2011 }