%0 Conference Paper %1 Alenda2010c %A Alenda, Régis %A Olivetti, Nicola %A Schwind, Camilla %A Tishkovsky, Dmitry %B CSL %D 2010 %K myown ComparativeSimilarity Comparative Similarity Minspace LimitAssumption ConditionalLogic Conditional ModalLogic Modal Axiomatization TableauCalculus Distance Metric DistanceSpace MetricSpace PreferentialSemantics Preferential SymmetricDistance Symmetry %P 52-66 %T Tableau Calculi for CSL over minspaces

@inproceedings{Alenda2010c, added-at = {2012-07-05T12:39:25.000+0200}, author = {Alenda, R{\'e}gis and Olivetti, Nicola and Schwind, Camilla and Tishkovsky, Dmitry}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2317a2c7a7b8161c69c8dce266b83cabb/ralenda}, booktitle = {{CSL}}, crossref = {DBLP:conf/csl/2010}, ee = {http://dx.doi.org/10.1007/978-3-642-15205-4_8}, file = {Alenda2010c-CSL2010.pdf:MyPapers/Alenda2010c-CSL2010.pdf:PDF}, groups = {public}, interhash = {15f4f3ca1df1fb479ae0d999fc0131dd}, intrahash = {317a2c7a7b8161c69c8dce266b83cabb}, keywords = {myown ComparativeSimilarity Comparative Similarity Minspace LimitAssumption ConditionalLogic Conditional ModalLogic Modal Axiomatization TableauCalculus Distance Metric DistanceSpace MetricSpace PreferentialSemantics Preferential SymmetricDistance Symmetry}, pages = {52-66}, timestamp = {2012-07-05T12:39:25.000+0200}, title = {Tableau Calculi for {CSL} over minspaces}, username = {ralenda}, year = 2010 }