{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:47:05Z","timestamp":1743108425903,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662595640"},{"type":"electronic","value":"9783662595657"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-662-59565-7_9","type":"book-chapter","created":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T02:48:34Z","timestamp":1562122114000},"page":"166-186","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An Ehrenfeucht-Fra\u00efss\u00e9 Game for Inquisitive First-Order Logic"],"prefix":"10.1007","author":[{"given":"Gianluca","family":"Grilletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivano","family":"Ciardelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,7,3]]},"reference":[{"key":"9_CR1","unstructured":"Ciardelli, I.: Inquisitive semantics and intermediate logics. M.Sc. thesis, University of Amsterdam (2009)"},{"key":"9_CR2","unstructured":"Ciardelli, I.: Questions in logic. Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam (2016)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s11229-016-1221-y","volume":"195","author":"I Ciardelli","year":"2018","unstructured":"Ciardelli, I.: Questions as information types. Synthese 195, 321\u2013365 (2018)","journal-title":"Synthese"},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198814788.001.0001","volume-title":"Inquisitive Semantics","author":"I Ciardelli","year":"2018","unstructured":"Ciardelli, I., Groenendijk, J., Roelofsen, F.: Inquisitive Semantics. Oxford University Press, Oxford (2018)"},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10992-010-9142-6","volume":"40","author":"I Ciardelli","year":"2011","unstructured":"Ciardelli, I., Roelofsen, F.: Inquisitive logic. J. Philos. Log. 40(1), 55\u201394 (2011)","journal-title":"J. Philos. Log."},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.4064\/fm-49-2-129-141","volume":"49","author":"Andrzej Ehrenfeucht","year":"1961","unstructured":"Ehrenfeucht, A.: An application of games to the completeness problem for formalized theories. Fund. Math. 49(2), 129\u2013141 (1961). \n                    http:\/\/eudml.org\/doc\/213582","journal-title":"Fundamenta Mathematicae"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1002\/malq.19750210112","volume":"21","author":"R Fagin","year":"1975","unstructured":"Fagin, R.: Monadic generalized spectra. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 21, 89\u201396 (1975)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"1","key":"9_CR8","first-page":"35","volume":"1","author":"R Fra\u00efss\u00e9","year":"1954","unstructured":"Fra\u00efss\u00e9, R.: Sur quelques classifications des syst\u00e8mes de relations. Publications Scientifiques de l\u2019Universit\u00e9 D\u2019Alger 1(1), 35\u2013182 (1954)","journal-title":"Publications Scientifiques de l\u2019Universit\u00e9 D\u2019Alger"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-662-52921-8_14","volume-title":"Logic, Language, Information, and Computation","author":"S Frittella","year":"2016","unstructured":"Frittella, S., Greco, G., Palmigiano, A., Yang, F.: A multi-type calculus for inquisitive logic. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) WoLLIC 2016. LNCS, vol. 9803, pp. 215\u2013233. Springer, Heidelberg (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-662-52921-8_14"},{"key":"9_CR10","doi-asserted-by":"publisher","unstructured":"Grilletti, G.: Disjunction and existence properties in inquisitive first-order logic. Stud. Logica (2018). \n                    https:\/\/doi.org\/10.1007\/s11225-018-9835-3\n                    \n                  . ISSN 1572-8730","DOI":"10.1007\/s11225-018-9835-3"},{"key":"9_CR11","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press (1962)"},{"key":"9_CR12","volume-title":"A Shorter Model Theory","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: A Shorter Model Theory. Cambridge University Press, New York (1997)"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/0022-0000(82)90011-3","volume":"25","author":"N Immerman","year":"1982","unstructured":"Immerman, N.: Upper and lower bounds for first order expressibility. J. Comput. Syst. Sci. 25(1), 76\u201398 (1982)","journal-title":"J. Comput. Syst. Sci."},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0168-0072(94)00025-X","volume":"74","author":"P Kolaitis","year":"1995","unstructured":"Kolaitis, P., V\u00e4\u00e4n\u00e4nen, J.: Generalized quantifiers and pebble games on finite structures. Ann. Pure Appl. Log. 74(1), 23\u201375 (1995)","journal-title":"Ann. Pure Appl. Log."},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1093\/jigpal\/jzn011","volume":"16","author":"T Po\u0142acik","year":"2008","unstructured":"Po\u0142acik, T.: Back and forth between first-order kripke models. Log. J. IGPL 16(4), 335\u2013355 (2008)","journal-title":"Log. J. IGPL"},{"issue":"3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s10849-015-9219-2","volume":"24","author":"V Pun\u010doch\u00e1\u0159","year":"2015","unstructured":"Pun\u010doch\u00e1\u0159, V.: Weak negation in inquisitive semantics. J. Log. Lang. Inf. 24(3), 323\u2013355 (2015)","journal-title":"J. Log. Lang. Inf."},{"issue":"4","key":"9_CR17","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/s10992-015-9379-1","volume":"45","author":"V Pun\u010doch\u00e1\u0159","year":"2016","unstructured":"Pun\u010doch\u00e1\u0159, V.: A generalization of inquisitive semantics. J. Philos. Log. 45(4), 399\u2013428 (2016)","journal-title":"J. Philos. Log."},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/s11229-013-0282-4","volume":"190","author":"F Roelofsen","year":"2013","unstructured":"Roelofsen, F.: Algebraic foundations for the semantic treatment of inquisitive content. Synthese 190(1), 79\u2013102 (2013)","journal-title":"Synthese"},{"key":"9_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974885","volume-title":"Models and Games","author":"J V\u00e4\u00e4n\u00e4nen","year":"2011","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Models and Games, 1st edn. Cambridge University Press, New York (2011)","edition":"1"},{"key":"9_CR20","unstructured":"van Benthem, J.: Modal correspondence theory dissertation, pp. 1\u2013148. Universiteit van Amsterdam, Instituut voor Logica en Grondslagenonderzoek van Exacte Wetenschappen (1976)"},{"issue":"4","key":"9_CR21","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/PL00003842","volume":"40","author":"A Visser","year":"2001","unstructured":"Visser, A.: Submodels of Kripke models. Arch. Math. Log. 40(4), 277\u2013295 (2001)","journal-title":"Arch. Math. Log."}],"container-title":["Lecture Notes in Computer Science","Language, Logic, and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-59565-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T05:39:50Z","timestamp":1567402790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-59565-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662595640","9783662595657"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-59565-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"3 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TbiLLC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Tbilisi Symposium on Logic, Language, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lagodekhi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tbillc2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/events.illc.uva.nl\/Tbilisi\/Tbilisi2017\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}