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

Julian-Steffen Mller, Heribert Vollmer

Browse the full WoLLIC paper archive.