%0 Conference Paper %1 conf/setn/KoutrasMNZ14 %A Koutras, Costas D. %A Moyzes, Christos %A Nomikos, Christos %A Zikos, Yorgos %B SETN %D 2014 %E Likas, Aristidis %E Blekas, Konstantinos %E Kalles, Dimitris %I Springer %K dblp %P 207-220 %T On the 'in many cases' Modality: Tableaux, Decidability, Complexity, Variants. %U http://dblp.uni-trier.de/db/conf/setn/setn2014.html#KoutrasMNZ14 %V 8445 %@ 978-3-319-07064-3

@inproceedings{conf/setn/KoutrasMNZ14, added-at = {2024-10-06T00:00:00.000+0200}, author = {Koutras, Costas D. and Moyzes, Christos and Nomikos, Christos and Zikos, Yorgos}, biburl = {https://www.bibsonomy.org/bibtex/2510d1531753c4f465c1294964d0944f3/dblp}, booktitle = {SETN}, crossref = {conf/setn/2014}, editor = {Likas, Aristidis and Blekas, Konstantinos and Kalles, Dimitris}, ee = {https://doi.org/10.1007/978-3-319-07064-3_17}, interhash = {528aedaf361189da08acdcf7a2430dd5}, intrahash = {510d1531753c4f465c1294964d0944f3}, isbn = {978-3-319-07064-3}, keywords = {dblp}, pages = {207-220}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-07T10:05:40.000+0200}, title = {On the 'in many cases' Modality: Tableaux, Decidability, Complexity, Variants.}, url = {http://dblp.uni-trier.de/db/conf/setn/setn2014.html#KoutrasMNZ14}, volume = 8445, year = 2014 }