Complexity Results for Modal Dependence Logic

Peter Lohmann, Heribert Vollmer. Complexity Results for Modal Dependence Logic. In Anuj Dawar, Helmut Veith, editors, Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6247 of Lecture Notes in Computer Science, pages 411-425, Springer, 2010. [doi]

Abstract

Abstract is missing.