In this paper we investigate an extended version of modal dependence logic by allowing arbitrary Boolean connectives. Modal dependence logic was recently introduced by Jouko Väänänen by extending modal logic by a the dependence atom Dep(·). In this paper we study the computational complexity of the model checking problem. For a complete classification of arbitrary Boolean functions we are using a Lattice approach introduced by Emil Post. This classification is done for all fragments of the logical language allowing modalities and □, the dependence atom, and logical symbols for arbitrary Boolean functions. © 2013 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Müller, J. S., & Vollmer, H. (2013). Model checking for modal dependence logic: An approach through post’s lattice. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8071 LNCS, pp. 238–250). Springer Verlag. https://doi.org/10.1007/978-3-642-39992-3_21
Mendeley helps you to discover research relevant for your work.