{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:08:34Z","timestamp":1759147714636},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_23","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T15:22:30Z","timestamp":1470410550000},"page":"375-391","source":"Crossref","is-referenced-by-count":0,"title":["The Expressive Power of k-ary Exclusion Logic"],"prefix":"10.1007","author":[{"given":"Raine","family":"R\u00f6nnholm","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"issue":"1","key":"23_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(83)90038-6","volume":"724","author":"M Ajtai","year":"1983","unstructured":"Ajtai, M.: $$\\varSigma _1^1$$ -formulae on finite structures. Ann. Pure Appl. Logic 724(1), 1\u201348 (1983)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"23_CR2","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1006\/inco.1998.2703","volume":"143","author":"A Dawar","year":"1998","unstructured":"Dawar, A.: A restricted second order logic for finite structures. Inf. Comput. 143(2), 154\u2013174 (1998)","journal-title":"Inf. Comput."},{"issue":"4","key":"23_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/2362355.2362359","volume":"13","author":"A Durand","year":"2012","unstructured":"Durand, A., Kontinen, J.: Hierarchies in dependence logic. ACM Trans. Comput. Log. 13(4), 31 (2012)","journal-title":"ACM Trans. Comput. Log."},{"key":"23_CR4","volume-title":"The Dynamics of Imperfect Information","author":"P Galliani","year":"2012","unstructured":"Galliani, P.: The Dynamics of Imperfect Information. Institute for Logic Language and Computation, Amsterdam (2012)"},{"issue":"1","key":"23_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. Logic 163(1), 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"23_CR6","unstructured":"Galliani, P., Hannula, M., Kontinen, J.: Hierarchies in independence logic. In: CSL 2013, pp. 263\u2013280 (2013)"},{"key":"23_CR7","unstructured":"Galliani, P., Hella, L.: Inclusion logic and fixed point logic. In: CSL 2013, pp. 281\u2013295 (2013)"},{"issue":"2","key":"23_CR8","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.A.: Dependence and independence. Studia Logica 101(2), 399\u2013410 (2013)","journal-title":"Studia Logica"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1007\/978-3-662-45824-2_7","volume-title":"Logic and Its Applications","author":"M Hannula","year":"2015","unstructured":"Hannula, M.: Hierarchies in inclusion logic with lax semantics. In: Banerjee, M., Krishna, S.N. (eds.) ICLA. LNCS, vol. 8923, pp. 100\u2013118. Springer, Heidelberg (2015)"},{"issue":"3","key":"23_CR10","doi-asserted-by":"crossref","first-page":"879","DOI":"10.1093\/logcom\/exu057","volume":"25","author":"M Hannula","year":"2015","unstructured":"Hannula, M., Kontinen, J.: Hierarchies in independence and inclusion logic with strict semantics. J. Log. Comput. 25(3), 879\u2013897 (2015)","journal-title":"J. Log. Comput."},{"key":"23_CR11","first-page":"571","volume-title":"Logic, Methodology and Philosophy of Science","author":"J Hintikka","year":"1989","unstructured":"Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon VIII. In: Fenstad, J.E. (ed.) Logic, Methodology and Philosophy of Science, pp. 571\u2013589. Elsevier, Amsterdam (1989)"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/B978-044481714-3\/50009-6","volume-title":"Handbook of Logic and Language","author":"J Hintikka","year":"1997","unstructured":"Hintikka, J., Sandu, G.: Game-theoretical semantics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 361\u2013410. Elsevier, Amsterdam (1997)"},{"issue":"4","key":"23_CR13","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","volume":"5","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: Compositional semantics for a language of imperfect information. Log. J. IGPL 5(4), 539\u2013563 (1997)","journal-title":"Log. J. IGPL"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"722","DOI":"10.1017\/S1755020315000192","volume":"8","author":"T Hyttinen","year":"2015","unstructured":"Hyttinen, T., Paolini, G., V\u00e4\u00e4n\u00e4nen, J.: Quantum team logic and Bell\u2019s inequalities. Rev. Symb. Log. 8, 722\u2013742 (2015)","journal-title":"Rev. Symb. Log."},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-3-642-39992-3_17","volume-title":"Logic, Language, Information, and Computation","author":"J Kontinen","year":"2013","unstructured":"Kontinen, J., Link, S., V\u00e4\u00e4n\u00e4nen, J.: Independence in database relations. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds.) WoLLIC 2013. LNCS, vol. 8071, pp. 179\u2013193. Springer, Heidelberg (2013)"},{"issue":"3","key":"23_CR16","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10849-009-9082-0","volume":"18","author":"J Kontinen","year":"2009","unstructured":"Kontinen, J., V\u00e4\u00e4n\u00e4nen, J.A.: On definability in dependence logic. J. Log. Lang. Inf. 18(3), 317\u2013332 (2009)","journal-title":"J. Log. Lang. Inf."},{"key":"23_CR17","unstructured":"R\u00f6nnholm, R.: Capturing k-ary inclusion-exclusion logic with k-ary existential second order logic (2015). arXiv:1502.05632 [math.LO]"},{"key":"23_CR18","unstructured":"R\u00f6nnholm, R.: The expressive power of k-ary exclusion logic (2016). arXiv:1605.01686 [math.LO]"},{"key":"23_CR19","doi-asserted-by":"crossref","unstructured":"V\u00e4\u00e4n\u00e4nen, J.A.: Dependence logic - a new approach to independence friendly logic. London Mathematical Society Student Texts, vol. 70. Cambridge University Press (2007)","DOI":"10.1017\/CBO9780511611193"}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T20:04:04Z","timestamp":1498334644000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}