{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:54:17Z","timestamp":1759146857285},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662529201"},{"type":"electronic","value":"9783662529218"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-52921-8_24","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T11:22:30Z","timestamp":1470396150000},"page":"392-409","source":"Crossref","is-referenced-by-count":1,"title":["Characterizing Relative Frame Definability in Team Semantics via the Universal Modality"],"prefix":"10.1007","author":[{"given":"Katsuhiko","family":"Sano","sequence":"first","affiliation":[]},{"given":"Jonni","family":"Virtema","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1305\/ndjfl\/1093634994","volume":"30","author":"J Benthem van","year":"1988","unstructured":"van Benthem, J.: Notes on modal definability. Notre Dame J. Formal Log. 30(1), 20\u201335 (1988)","journal-title":"Notre Dame J. Formal Log."},{"key":"24_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, New York (2001)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Durand, A., Kontinen, J., Vollmer, H.: Expressivity and Complexity of Dependence Logic. Springer (2016) (In Press)","DOI":"10.1007\/978-3-319-31803-5_2"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1007\/978-3-642-39992-3_13","volume-title":"Logic, Language, Information, and Computation","author":"J Ebbing","year":"2013","unstructured":"Ebbing, J., Hella, L., Meier, A., M\u00fcller, J.-S., Virtema, J., Vollmer, H.: Extended modal dependence logic $$\\cal EMDL$$ . In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds.) WoLLIC 2013. LNCS, vol. 8071, pp. 126\u2013137. Springer, Heidelberg (2013)"},{"issue":"1","key":"24_CR5","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1016\/j.apal.2011.08.005","volume":"163","author":"P Galliani","year":"2012","unstructured":"Galliani, P.: Inclusion and exclusion dependencies in team semantics - on some logics of imperfect information. Ann. Pure Appl. Log. 163(1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Log."},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01054038","volume":"22","author":"G Gargov","year":"1993","unstructured":"Gargov, G., Goranko, V.: Modal logic with names. J. Philos. Log. 22, 607\u2013636 (1993)","journal-title":"J. Philos. Log."},{"key":"24_CR7","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BFb0062855","volume-title":"Algebra and Logic","author":"RI Goldblatt","year":"1975","unstructured":"Goldblatt, R.I., Thomason, S.K.: Axiomatic classes in propositional modal logic. In: Crossley, J.N. (ed.) Algebra and Logic, pp. 163\u201373. Springer, Heidelberg (1975)"},{"key":"24_CR8","series-title":"Studies in Logic and Practical Reasoning","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S1570-2464(07)80008-5","volume-title":"Handbook of Modal Logic","author":"V Goranko","year":"2007","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., Van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol. 3, pp. 249\u2013329. Elsevier, Amsterdam (2007)"},{"issue":"1","key":"24_CR9","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., Passy, S.: Using the universal modality: gains and questions. J. Log. Comput. 2(1), 5\u201330 (1992)","journal-title":"J. Log. Comput."},{"issue":"2","key":"24_CR10","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s11225-013-9479-2","volume":"101","author":"E Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E., V\u00e4\u00e4n\u00e4nen, J.: Dependence and independence. Stud. Logica 101(2), 399\u2013410 (2013)","journal-title":"Stud. Logica"},{"key":"24_CR11","unstructured":"Hella, L., Luosto, K., Sano, K., Virtema, J.: The expressive power of modal dependence logic. In: AiML 2014 (2014)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Hella, L., Stumpf, J.: The expressive power of modal logic with inclusion atoms. In: GandALF 2015 (2015)","DOI":"10.4204\/EPTCS.193.10"},{"issue":"1","key":"24_CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. J. ACM 32(1), 137\u2013161 (1985)","journal-title":"J. ACM"},{"key":"24_CR14","series-title":"Studies in Logic and the Foundations of Mathematics","doi-asserted-by":"crossref","first-page":"571","DOI":"10.1016\/S0049-237X(08)70066-1","volume-title":"Logic, methodology and philosophy of science, VIII (Moscow, 1987)","author":"J Hintikka","year":"1989","unstructured":"Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Fenstad, J.E., et al. (eds.) Logic, methodology and philosophy of science, VIII (Moscow, 1987). Studies in Logic and the Foundations of Mathematics, vol. 126, pp. 571\u2013589. North-Holland, Amsterdam (1989)"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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. 1261, pp. 51\u201365. Springer, Heidelberg (1997)"},{"key":"24_CR16","unstructured":"Kontinen, J., M\u00fcller, J.-S., Schnoor, H., Vollmer, H.: Modal independence logic. In: AiML 2014 (2014)"},{"key":"24_CR17","unstructured":"Kontinen, J., M\u00fcller, J.-S., Schnoor, H., Vollmer, H.: A van Benthem theorem for modal team semantics. In: 24th EACSL Annual Conference on Computer Science Logic (2015)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/978-3-662-47709-0_11","volume-title":"Logic, Language, Information, and Computation","author":"K Sano","year":"2015","unstructured":"Sano, K., Virtema, J.: Characterizing frame definability in team semantics via the universal modality. In: de Paiva, V., de Queiroz, R., Moss, L.S., Leivant, D., de Oliveira, A. (eds.) WoLLIC 2015. LNCS, vol. 9160, pp. 140\u2013155. Springer, Heidelberg (2015)"},{"key":"24_CR19","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic - A New Approach to Independence Friendly Logic. London Mathematical Society student texts","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","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, New York (2007)"},{"key":"24_CR20","series-title":"Texts in Logic and Games","first-page":"237","volume-title":"New Perspectives on Games and Interaction","author":"J V\u00e4\u00e4n\u00e4nen","year":"2008","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. 4, pp. 237\u2013254. Amsterdam University Press, Amsterdam (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-662-52921-8_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,12]],"date-time":"2019-09-12T03:13:27Z","timestamp":1568258007000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}