{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T16:52:23Z","timestamp":1773939143799,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662602911","type":"print"},{"value":"9783662602928","type":"electronic"}],"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-60292-8_3","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T19:09:52Z","timestamp":1570561792000},"page":"29-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Undefinability in Inquisitive Logic with Tensor"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6152-3401","authenticated-orcid":false,"given":"Ivano","family":"Ciardelli","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0959-6977","authenticated-orcid":false,"given":"Fausto","family":"Barbero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s11229-008-9415-6","volume":"167","author":"S Abramsky","year":"2009","unstructured":"Abramsky, S., V\u00e4\u00e4n\u00e4nen, J.: From IF to BI. Synthese 167(2), 207\u2013230 (2009)","journal-title":"Synthese"},{"key":"3_CR2","series-title":"Springer Graduate Texts in Philosophy","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1007\/978-3-319-20451-2_38","volume-title":"Readings in Formal Epistemology","author":"A Baltag","year":"2016","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Arl\u00f3-Costa, H., Hendricks, V.F., van Benthem, J. (eds.) Readings in Formal Epistemology. SGTP, vol. 1, pp. 773\u2013812. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-20451-2_38"},{"issue":"490","key":"3_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1093\/mind\/fzu073","volume":"123","author":"J Bledin","year":"2014","unstructured":"Bledin, J.: Logic informed. Mind 123(490), 277\u2013316 (2014)","journal-title":"Mind"},{"key":"3_CR4","unstructured":"Ciardelli, I.: Inquisitive semantics and intermediate logics. MSc Thesis, University of Amsterdam (2009)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-31803-5_8","volume-title":"Dependence Logic","author":"I Ciardelli","year":"2016","unstructured":"Ciardelli, I.: Dependency as question entailment. In: Abramsky, S., Kontinen, J., V\u00e4\u00e4n\u00e4nen, J., Vollmer, H. (eds.) Dependence Logic, pp. 129\u2013181. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-31803-5_8"},{"key":"3_CR6","unstructured":"Ciardelli, I.: Questions in logic. Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam (2016)"},{"key":"3_CR7","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). \n                    https:\/\/doi.org\/10.1007\/s11229-016-1221-y","journal-title":"Synthese"},{"issue":"1","key":"3_CR8","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. Logic 40(1), 55\u201394 (2011)","journal-title":"J. Philos. Logic"},{"key":"3_CR9","unstructured":"Dekker, P.: Transsentential meditations. ups and downs in dynamic semantics. Ph.D. thesis, ILLC, University of Amsterdam (1993)"},{"key":"3_CR10","series-title":"Studies In Epistemology, Logic, Methodology, And Philosophy Of Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. SYLI, vol. 337. Springer, Dordrecht (2007). \n                    https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","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"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/s11225-013-9478-3","volume":"101","author":"P Galliani","year":"2013","unstructured":"Galliani, P.: Epistemic operators in dependence logic. Stud. Logica 101(2), 367\u2013397 (2013)","journal-title":"Stud. Logica"},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1017\/S1755020317000272","volume":"11","author":"V Goranko","year":"2018","unstructured":"Goranko, V., Kuusisto, A.: Logics for propositional determinacy and independence. Rev. Symb. Logic 11(3), 470\u2013506 (2018)","journal-title":"Rev. Symb. Logic"},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","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":"3_CR15","doi-asserted-by":"publisher","unstructured":"Grilletti, G.: Disjunction and existence properties in inquisitive first-order logic. Stud. Logica, 1\u201336 (2018). \n                    https:\/\/doi.org\/10.1007\/s11225-018-9835-3","DOI":"10.1007\/s11225-018-9835-3"},{"key":"3_CR16","first-page":"195","volume-title":"Context Dependence in the Analysis of Linguistic Meaning","author":"J Groenendijk","year":"1997","unstructured":"Groenendijk, J., Stokhof, M., Veltman, F.: Coreference and modality in the context of multi-speaker discourse. In: Kamp, H., Partee, B.H. (eds.) Context Dependence in the Analysis of Linguistic Meaning, pp. 195\u2013216. IMS, Stuttgart (1997)"},{"issue":"3","key":"3_CR17","doi-asserted-by":"publisher","first-page":"115","DOI":"10.5840\/jphil2010107310","volume":"107","author":"N Kolodny","year":"2010","unstructured":"Kolodny, N., MacFarlane, J.: Ifs and oughts. J. Philos. 107(3), 115\u2013143 (2010)","journal-title":"J. Philos."},{"issue":"2","key":"3_CR18","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s11225-013-9481-8","volume":"101","author":"J Kontinen","year":"2013","unstructured":"Kontinen, J.: Coherence and computational complexity of quantifier-free dependence logic formulas. Stud. Logica 101(2), 267\u2013291 (2013)","journal-title":"Stud. Logica"},{"issue":"3","key":"3_CR19","doi-asserted-by":"publisher","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. Logic Lang. Inf. 18(3), 317\u2013332 (2009)","journal-title":"J. Logic Lang. Inf."},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"155","DOI":"10.2307\/2268715","volume":"4","author":"JCC McKinsey","year":"1939","unstructured":"McKinsey, J.C.C.: Proof of the independence of the primitive symbols of Heyting\u2019s calculus of propositions. J. Symb. Logic 4(4), 155\u2013158 (1939). \n                    http:\/\/www.jstor.org\/stable\/2268715","journal-title":"J. Symb. Logic"},{"key":"3_CR21","unstructured":"Plaza, J.: Logics of public communications. In: Emrich, M., Pfeifer, M., Hadzikadic, M., Ras, Z. (eds.) Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems. pp. 201\u2013216. Oak Ridge National Laboratory (1989)"},{"issue":"3","key":"3_CR22","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. Logic Lang. Inf. 24(3), 323\u2013355 (2015)","journal-title":"J. Logic Lang. Inf."},{"issue":"1","key":"3_CR23","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 inquisitivecontent. Synthese 190(1), 79\u2013102 (2013). \n                    https:\/\/doi.org\/10.1007\/s11229-013-0282-4","journal-title":"Synthese"},{"key":"3_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193","volume-title":"Dependence Logic: A New Approach to Independence Friendly Logic","author":"J V\u00e4\u00e4n\u00e4nen","year":"2007","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence Logic: A New Approach to Independence Friendly Logic. Cambridge University Press, Cambridge (2007)"},{"key":"3_CR25","volume-title":"Formal Methods in the Study of Language","author":"F Veltman","year":"1981","unstructured":"Veltman, F.: Data semantics. In: Groenendijk, J., Janssen, T., Stokhof, M. (eds.) Formal Methods in the Study of Language. Mathematical Centre, Amsterdam (1981)"},{"issue":"3","key":"3_CR26","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF00248150","volume":"25","author":"F Veltman","year":"1996","unstructured":"Veltman, F.: Defaults in update semantics. J. Philos. Logic 25(3), 221\u2013261 (1996)","journal-title":"J. Philos. Logic"},{"issue":"464","key":"3_CR27","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1093\/mind\/fzm983","volume":"116","author":"S Yalcin","year":"2007","unstructured":"Yalcin, S.: Epistemic modals. Mind 116(464), 983\u20131026 (2007)","journal-title":"Mind"},{"key":"3_CR28","unstructured":"Yang, F.: On extensions and variants of dependence logic: a study of intuitionistic connectives in the team semantics setting. Ph.D. thesis, University of Helsinki (2014)"},{"issue":"1","key":"3_CR29","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1017\/S1755020316000459","volume":"10","author":"F Yang","year":"2017","unstructured":"Yang, F.: Uniform definability in propositional dependence logic. Rev. Symb. Logic 10(1), 65\u201379 (2017)","journal-title":"Rev. Symb. Logic"},{"issue":"7","key":"3_CR30","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/j.apal.2016.03.003","volume":"167","author":"F Yang","year":"2016","unstructured":"Yang, F., V\u00e4\u00e4n\u00e4nen, J.: Propositional logics of dependence. Ann. Pure Appl. Logic 167(7), 557\u2013589 (2016)","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-60292-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T19:10:54Z","timestamp":1570561854000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60292-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662602911","9783662602928"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60292-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LORI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Rationality and Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chongqing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/golori.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}