{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:08Z","timestamp":1750307528782,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T00:00:00Z","timestamp":1246838400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,7,6]]},"DOI":"10.1145\/1562814.1562827","type":"proceedings-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T17:34:19Z","timestamp":1247074459000},"page":"71-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Generalized inquisitive logic"],"prefix":"10.1145","author":[{"given":"Ivano","family":"Ciardelli","sequence":"first","affiliation":[{"name":"University of Amsterdam"}]},{"given":"Floris","family":"Roelofsen","sequence":"additional","affiliation":[{"name":"University of Amsterdam"}]}],"member":"320","published-online":{"date-parts":[[2009,7,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Balogh K. (2009). Theme with variations. Forthcoming PhD thesis.  Balogh K. (2009). Theme with variations. Forthcoming PhD thesis."},{"key":"e_1_3_2_1_2_1","unstructured":"Ciardelli I. (2008). A generalized inquisitive semantics. Term Paper University of Amsterdam.  Ciardelli I. (2008). A generalized inquisitive semantics. Term Paper University of Amsterdam."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Ciardelli I. Groenendijk J. and Roelofsen F. (2009). Might and free choice in inquisitive semantics. Accepted by Semantics and Linguistic Theory.  Ciardelli I. Groenendijk J. and Roelofsen F. (2009). Might and free choice in inquisitive semantics. Accepted by Semantics and Linguistic Theory.","DOI":"10.3765\/salt.v19i0.2520"},{"key":"e_1_3_2_1_4_1","unstructured":"Groenendijk J. (2008a). Inquisitive semantics and dialogue management. ESSLLI course notes www.illc.uva.nl\/inquisitive-semantics.  Groenendijk J. (2008a). Inquisitive semantics and dialogue management. ESSLLI course notes www.illc.uva.nl\/inquisitive-semantics."},{"volume-title":"Seventh International Tbilisi Symposium on Language, Logic, and Computation. Springer-Verlag.","year":"2008","author":"Groenendijk J.","key":"e_1_3_2_1_5_1"},{"volume-title":"Proceedings of the ILCLI International Workshop on Semantics, Pragmatics, and Rhetoric. University of the Basque Country Press.","year":"2009","author":"Groenendijk J.","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01988049"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Kripke S. (1965). Semantical analysis of intuitionistic logic I. In J. Crossley and M. Dummett editors Formal systems and recursive functions pages 92--130. North-Holland Amsterdam.  Kripke S. (1965). Semantical analysis of intuitionistic logic I. In J. Crossley and M. Dummett editors Formal systems and recursive functions pages 92--130. North-Holland Amsterdam.","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"e_1_3_2_1_9_1","unstructured":"Mascarenhas S. (2008). Inquisitive semantics and logic. Manuscript University of Amsterdam.  Mascarenhas S. (2008). Inquisitive semantics and logic. Manuscript University of Amsterdam."},{"key":"e_1_3_2_1_10_1","unstructured":"Mascarenhas S. (2009). Inquisitive semantics and logic. Forthcoming Master Thesis University of Amsterdam.  Mascarenhas S. (2009). Inquisitive semantics and logic. Forthcoming Master Thesis University of Amsterdam."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02261-6_29"},{"key":"e_1_3_2_1_12_1","first-page":"315","volume":"9","author":"Stalnaker R.","year":"1978","journal-title":"Assertion. Syntax and Semantics"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"van Benthem J. (2008). The information in intuitionistic logic. Manuscript University of Amsterdam. To appear in Synthese.  van Benthem J. (2008). The information in intuitionistic logic. Manuscript University of Amsterdam. To appear in Synthese .","DOI":"10.1007\/s11229-008-9408-5"}],"event":{"name":"TARK '09: The 11th conference on Theoretical aspects of rationality and knowledge","acronym":"TARK '09","location":"California"},"container-title":["Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1562814.1562827","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1562814.1562827","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:07Z","timestamp":1750249387000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1562814.1562827"}},"subtitle":["completeness via intuitionistic Kripke models"],"short-title":[],"issued":{"date-parts":[[2009,7,6]]},"references-count":13,"alternative-id":["10.1145\/1562814.1562827","10.1145\/1562814"],"URL":"https:\/\/doi.org\/10.1145\/1562814.1562827","relation":{},"subject":[],"published":{"date-parts":[[2009,7,6]]},"assertion":[{"value":"2009-07-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}