{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T14:41:26Z","timestamp":1768488086990,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642399916","type":"print"},{"value":"9783642399923","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39992-3_13","type":"book-chapter","created":{"date-parts":[[2013,8,14]],"date-time":"2013-08-14T06:08:18Z","timestamp":1376460498000},"page":"126-137","source":"Crossref","is-referenced-by-count":16,"title":["Extended Modal Dependence Logic $\\mathcal{EMDL}$"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Ebbing","sequence":"first","affiliation":[]},{"given":"Lauri","family":"Hella","sequence":"additional","affiliation":[]},{"given":"Arne","family":"Meier","sequence":"additional","affiliation":[]},{"given":"Julian-Steffen","family":"M\u00fcller","sequence":"additional","affiliation":[]},{"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[]},{"given":"Heribert","family":"Vollmer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Berto, F., Tagliabue, J.: Cellular automata. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Summer 2012 edn. (2012)"},{"key":"13_CR2","volume-title":"Modal Logics, Cambridge Tracts in Theoretical Computer Science","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logics, Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Desing and synthesis of synchronisation skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-27660-6_19","volume-title":"SOFSEM 2012: Theory and Practice of Computer Science","author":"J. Ebbing","year":"2012","unstructured":"Ebbing, J., Lohmann, P.: Complexity of model checking for modal dependence logic. In: Bielikov\u00e1, M., Friedrich, G., Gottlob, G., Katzenbeisser, S., Tur\u00e1n, G. (eds.) SOFSEM 2012. LNCS, vol.\u00a07147, pp. 226\u2013237. Springer, Heidelberg (2012)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-63246-8_4","volume-title":"Structures in Logic and Computer Science","author":"W. Hodges","year":"1997","unstructured":"Hodges, W.: Some strange quantifiers. In: Mycielski, J., Rozenberg, G., Salomaa, A. (eds.) Structures in Logic and Computer Science. LNCS, vol.\u00a01261, pp. 51\u201365. Springer, Heidelberg (1997)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Ilachinski, A.: Cellular Automata: A Discrete Universe. World Scientific, Singapore (2001)","DOI":"10.1142\/4702"},{"key":"13_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/978-3-642-15205-4_32","volume-title":"Computer Science Logic","author":"P. Lohmann","year":"2010","unstructured":"Lohmann, P., Vollmer, H.: Complexity results for modal dependence logic. In: Dawar, A., Veith, H. (eds.) CSL 2010. LNCS, vol.\u00a06247, pp. 411\u2013425. Springer, Heidelberg (2010), \n                  \n                    http:\/\/dx.doi.org\/10.1007\/978-3-642-15205-4_32"},{"key":"13_CR8","unstructured":"Papadimitriou, C.H.: Computational Complexity. Addison-Wesley (1994)"},{"issue":"6","key":"13_CR9","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1093\/logcom\/exn102","volume":"19","author":"M. Sevenster","year":"2009","unstructured":"Sevenster, M.: Model-theoretic and computational properties of modal dependence logic. Journal of Logic and Computation\u00a019(6), 1157\u20131173 (2009), \n                  \n                    http:\/\/logcom.oxfordjournals.org\/cgi\/content\/abstract\/exn102v1","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/3828.3837","volume":"32","author":"A.P. Sistla","year":"1985","unstructured":"Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM\u00a032(3), 733\u2013749 (1985)","journal-title":"J. ACM"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence logic: A new approach to independence friendly logic. London Mathematical Society student texts, vol. 70. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511611193"},{"key":"13_CR12","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Modal dependence logic. In: Apt, K.R., van Rooij, R. (eds.) New Perspectives on Games and Interaction, Texts in Logic and Games, vol.\u00a04, pp. 237\u2013254. Amsterdam University Press (2008)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39992-3_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T11:47:18Z","timestamp":1558007238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39992-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642399916","9783642399923"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39992-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}