in many cases' Modality: Tableaux, Decidability, Complexity, Variants

Costas D. Koutras, Christos Moyzes, Christos Nomikos, Yorgos Zikos. in many cases' Modality: Tableaux, Decidability, Complexity, Variants. In Aristidis Likas, Konstantinos Blekas, Dimitris Kalles, editors, Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI, SETN 2014, Ioannina, Greece, May 15-17, 2014. Proceedings. Volume 8445 of Lecture Notes in Computer Science, pages 207-220, Springer, 2014. [doi]