{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,3]],"date-time":"2026-01-03T14:44:48Z","timestamp":1767451488445},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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_14","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T15:22:30Z","timestamp":1470410550000},"page":"215-233","source":"Crossref","is-referenced-by-count":27,"title":["A Multi-type Calculus for Inquisitive Logic"],"prefix":"10.1007","author":[{"given":"Sabine","family":"Frittella","sequence":"first","affiliation":[]},{"given":"Giuseppe","family":"Greco","sequence":"additional","affiliation":[]},{"given":"Alessandra","family":"Palmigiano","sequence":"additional","affiliation":[]},{"given":"Fan","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"crossref","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":"14_CR2","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"N Belnap","year":"1982","unstructured":"Belnap, N.: Display logic. J. Philos. Logic 11, 375\u2013417 (1982)","journal-title":"J. Philos. Logic"},{"key":"14_CR3","unstructured":"Ciardelli, I.: Questions in Logic. Ph.D. thesis, University of Amsterdam (2016)"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Ciardelli, I.: Dependency as question entailment. In: Vollmer, H., Abramsky, S., Kontinen, J., V\u00e4\u00e4n\u00e4nen, J. (eds.) Dependence Logic: Theory and Application, Progress in Computer Science and Applied Logic. Birkhauser (2016, to appear)","DOI":"10.1007\/978-3-319-31803-5_8"},{"issue":"1","key":"14_CR5","doi-asserted-by":"crossref","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":"14_CR6","unstructured":"Frittella, S., Greco, G., Kurz, A., Palmigiano, A.: Multi-type display calculus for propositional dynamic logic. J. Logic Comput. exu064v1-exu064 (2014). Special Issue on Substructural Logic and Information Dynamics"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Frittella, S., Greco, G., Kurz, A., Palmigiano, A., Sikimi\u0107, V.: A multi-type display calculus for dynamic epistemic logic. J. Logic Comput. exu068v1-exu068 (2014). Special Issue on Substructural Logic and Information Dynamics","DOI":"10.1093\/logcom\/exu068"},{"key":"14_CR8","first-page":"81","volume-title":"Trends in Logic XIII","author":"S Frittella","year":"2014","unstructured":"Frittella, S., Greco, G., Kurz, A., Palmigiano, A., Sikimi\u0107, V.: Multi-type sequent calculi. In: Zawidzki, M., Indrzejczak, A., Kaczmarek, J. (eds.) Trends in Logic XIII, pp. 81\u201393. Lod\u017a University Press, \u0141\u00f3d\u017a (2014)"},{"key":"14_CR9","unstructured":"Frittella, S., Greco, G., Kurz, A., Palmigiano, A., Sikimi\u0107, V.: A proof-theoretic semantic analysis of dynamic epistemic logic. J. Logic Comput. exu063v2-exu063 (2015). Special Issue on Substructural Logic and Information Dynamics"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-642-40948-6_11","volume-title":"Logic, Rationality, and Interaction","author":"G Greco","year":"2013","unstructured":"Greco, G., Kurz, A., Palmigiano, A.: Dynamic epistemic logic displayed. In: Huang, H., Grossi, D., Roy, O. (eds.) LORI. LNCS, vol. 8196, pp. 135\u2013148. Springer, Heidelberg (2013)"},{"key":"14_CR11","unstructured":"Greco, G., Ma, M., Palmigiano, A., Tzimoulis, A., Zhao, Z.: Unified correspondence as a proof-theoretic tool. J. Logic Comput. (forthcoming)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-642-00665-4_8","volume-title":"Logic, Language, and Computation","author":"J Groenendijk","year":"2009","unstructured":"Groenendijk, J.: Inquisitive semantics: two possibilities for disjunction. In: Bosch, P., Gabelaia, D., Lang, J. (eds.) TbiLLC 2007. LNCS, vol. 5422, pp. 80\u201394. Springer, Heidelberg (2009)"},{"key":"14_CR13","unstructured":"Groenendijk, J., Roelofsen, F.: Inquisitive semantics and pragmatics. In: Larrazabal, J.M., Zubeldia, L. (eds.) Meaning, Content, and Argument: Proceedings of the ILCLI International Workshop on Semantics, Pragmatics, and Rhetoric, pp. 41\u201372. University of the Basque Country Publication Service, May 2009"},{"key":"14_CR14","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. Logic J. IGPL 5, 539\u2013563 (1997)","journal-title":"Logic J. IGPL"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-63246-8_4","volume-title":"Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht","author":"W Hodges","year":"1997","unstructured":"Hodges, W.: Some strange quantifiers. In: Mycielski, J., Rozenberg, A., Salomaa, A. (eds.) Structures in Logic and Computer Science: A Selection of Essays in Honor of A. Ehrenfeucht. LNCS, vol. 1261, pp. 51\u201365. Springer, Heidelberg (1997)"},{"key":"14_CR16","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BF01988049","volume":"3","author":"G Kreisel","year":"1957","unstructured":"Kreisel, G., Putnam, H.: Eine Unableitbarkeitsbeweismethode f\u00fcr den intuitionistischen Aussagenkalk\u00fcl. Archiv f\u00fcr Mathematische Logik und Grundlagenforschung 3, 74\u201378 (1957)","journal-title":"Archiv f\u00fcr Mathematische Logik und Grundlagenforschung"},{"issue":"1","key":"14_CR17","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF01881550","volume":"45","author":"L Maksimova","year":"1986","unstructured":"Maksimova, L.: On maximal intermediate logics with the disjunction property. Stud. Logica 45(1), 69\u201375 (1986)","journal-title":"Stud. Logica"},{"key":"14_CR18","unstructured":"Mascarenhas, S.: Inquisitive semantics and logic. Master\u2019s thesis, University of Amsterdam (2009)"},{"issue":"1","key":"14_CR19","first-page":"227","volume":"3","author":"JT Medvedev","year":"1962","unstructured":"Medvedev, J.T.: Finite problems. Sov. Math. Dokl. 3(1), 227\u2013230 (1962)","journal-title":"Sov. Math. Dokl."},{"key":"14_CR20","doi-asserted-by":"crossref","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, 79\u2013102 (2013)","journal-title":"Synthese"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Sano, K.: Sound and complete tree-sequent calculus for inquisitive logic. In: The Sixteenth Workshop on Logic, Language, Information, and Computation (2009)","DOI":"10.1007\/978-3-642-02261-6_29"},{"key":"14_CR22","doi-asserted-by":"crossref","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":"14_CR23","unstructured":"Yang, F.: On Extensions and Variants of Dependence Logic. Ph.D. thesis, University of Helsinki (2014)"},{"issue":"7","key":"14_CR24","doi-asserted-by":"crossref","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, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-52921-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T06:12:27Z","timestamp":1657001547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}