Media type: E-Article Title: Logic, Language, Information, and Computation: Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice Contributor: Müller, Julian-Steffen; Vollmer, Heribert Published: Springer Berlin Heidelberg, 2013 Published in: Logic, Language, Information, and Computation (2013), Seite 238-250 Language: Not determined DOI: 10.1007/978-3-642-39992-3_21 ISBN: 9783642399923; 9783642399916 ISSN: 1611-3349; 0302-9743 Origination: Footnote: