Media type: E-Article Title: Logic, Language, and Computation: Model Checking for Modal Intuitionistic Dependence Logic Contributor: Ebbing, Johannes; Lohmann, Peter; Yang, Fan imprint: Springer Berlin Heidelberg, 2013 Published in: Logic, Language, and Computation Language: Not determined DOI: 10.1007/978-3-642-36976-6_15 ISSN: 0302-9743; 1611-3349 Origination: Footnote: