most citedModel Checking for Modal Dependence Logic: An Approach Through Post's Lattice

6 citations · 6 across the 1 of their papers we have counts for

collaborators

1 paper

cs.CC2013★ 6 cited

Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice

Julian-Steffen Müller, Heribert Vollmer

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än…