{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T22:43:55Z","timestamp":1794523435050,"version":"4.9.1"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319318011","type":"print"},{"value":"9783319318035","type":"electronic"}],"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-319-31803-5_5","type":"book-chapter","created":{"date-parts":[[2016,6,29]],"date-time":"2016-06-29T13:12:03Z","timestamp":1467205923000},"page":"73-98","source":"Crossref","is-referenced-by-count":3,"title":["Games for Inclusion Logic and Fixed-Point Logic"],"prefix":"10.1007","author":[{"given":"Erich","family":"Gr\u00e4del","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,6,30]]},"reference":[{"key":"5_CR1","volume-title":"Lectures in Game Theory for Computer Scientists","year":"2011","unstructured":"Apt, K., Gr\u00e4del, E. (eds.): Lectures in Game Theory for Computer Scientists. Cambridge University Press, Cambridge (2011)"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0168-0072(86)90040-0","volume":"32","author":"A. Blass","year":"1986","unstructured":"Blass, A., Gurevich, Y.: Henkin quantifiers and complete problems. Ann. Pure Appl. Logic 32, 1\u201316 (1986)","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-18170-9_158","volume-title":"Computation Theory and Logic. Lecture Notes in Computer Science","author":"E. Dahlhaus","year":"1987","unstructured":"Dahlhaus, E.: Skolem normal forms concerning the least fixed point. In: B\u00f6rger, E. (ed.) Computation Theory and Logic. Lecture Notes in Computer Science, vol. 270, pp. 101\u2013106. Springer, Berlin (1987)"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/s10849-012-9162-4","volume":"21","author":"F. Engstr\u00f6m","year":"2012","unstructured":"Engstr\u00f6m, F.: Generalized quantifiers in dependence logic. J. Logic Lang. Inf. 21, 299\u2013324 (2012)","journal-title":"J. Logic Lang. Inf."},{"key":"5_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 in team semantics \u2014 on some logics of imperfect information. Ann. Pure Appl. Logic 163, 68\u201384 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR6","first-page":"281","volume":"23","author":"P. Galliani","year":"2013","unstructured":"Galliani, P., Hella, L.: Inclusion logic and fixed-point logic. In: Computer Science Logic 2013. Leibniz International Proceedings in Informatics (LIPIcs), vol. 23, pp. 281\u2013295 (2013)","journal-title":"Leibniz International Proceedings in Informatics (LIPIcs)"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.tcs.2012.10.033","volume":"493","author":"E. Gr\u00e4del","year":"2013","unstructured":"Gr\u00e4del, E.: Model-checking games for logics of incomplete information. Theor. Comput. Sci. 493, 2\u201314 (2013)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"5_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.: Dependence and independence. Stud. Logica 101 (2), 399\u2013410 (2013)","journal-title":"Stud. Logica"},{"key":"5_CR9","volume-title":"Finite Model Theory and Its Applications","author":"E. Gr\u00e4del","year":"2007","unstructured":"Gr\u00e4del, E., et al.: Finite Model Theory and Its Applications. Springer, Berlin (2007)"},{"key":"5_CR10","volume-title":"A Shorter Model Theory","author":"W. Hodges","year":"1997","unstructured":"Hodges, W.: A Shorter Model Theory. Cambridge University Press, Cambridge (1997)"},{"key":"5_CR11","first-page":"117","volume-title":"Interactive Logic. Texts in Logic and Games","author":"W. Hodges","year":"2007","unstructured":"Hodges, W.: Logics of imperfect information: why sets of assignments? In: van Benthem, J., L\u00f6we, B., Gabbay, D. (eds.) Interactive Logic. Texts in Logic and Games, vol. 1, pp. 117\u2013134. Amsterdam University Press, Amsterdam (2007)"},{"key":"5_CR12","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.: On definability in dependence logic. J. Log. Lang. Inf. 18, 317\u2013241 (2009)","journal-title":"J. Log. Lang. Inf."},{"key":"5_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic","author":"J. V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic. Cambridge University Press, Cambridge (2007)"}],"container-title":["Dependence Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31803-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T13:27:20Z","timestamp":1498310840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31803-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319318011","9783319318035"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31803-5_5","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-319-31803-5","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016]]}}}