{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:12:03Z","timestamp":1775038323721,"version":"3.50.1"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T00:00:00Z","timestamp":1737936000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T00:00:00Z","timestamp":1737936000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100007797","name":"University of Helsinki","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100007797","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2025,7]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We provide a complete axiomatization of modal inclusion logic\u2014team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal form theorem for the logic, define a natural deduction proof system, and use the normal form to prove completeness of the axiomatization. Complete axiomatizations are also provided for two other extensions of modal logic with the same expressive power as modal inclusion logic: one augmented with a might operator and the other with a single-world variant of the might operator.\n<\/jats:p>","DOI":"10.1007\/s00153-024-00957-y","type":"journal-article","created":{"date-parts":[[2025,1,27]],"date-time":"2025-01-27T07:51:31Z","timestamp":1737964291000},"page":"755-793","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Axiomatizing modal inclusion logic and its variants"],"prefix":"10.1007","volume":"64","author":[{"given":"Aleksi","family":"Anttila","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matilda","family":"H\u00e4ggblom","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,27]]},"reference":[{"key":"957_CR1","doi-asserted-by":"publisher","first-page":"5EA","DOI":"10.3765\/sp.15.5","volume":"15","author":"M Aloni","year":"2022","unstructured":"Aloni, M.: Logic and conversation: the case of free choice. Semant. Pragmat. 15, 5EA (2022). https:\/\/doi.org\/10.3765\/sp.15.5","journal-title":"Semant. Pragmat."},{"key":"957_CR2","unstructured":"Aloni, M., Degano, M.: How to be (non-)specific. https:\/\/m-degano.github.io\/files\/how_nonspecific_draft.pdf, Preprint (2023)"},{"issue":"4","key":"957_CR3","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1215\/00294527-2024-0027","volume":"65","author":"M Aloni","year":"2024","unstructured":"Aloni, M., Anttila, A., Yang, F.: State-based modal logics for free choice. Notre Dame J. Formal Logic 65(4), 367\u2013413 (2024). https:\/\/doi.org\/10.1215\/00294527-2024-0027","journal-title":"Notre Dame J. Formal Logic"},{"key":"957_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic. Cambridge Tracts in Theoretical Computer Science","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., Rijke, Md., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (2001). https:\/\/doi.org\/10.1017\/CBO9781107050884"},{"issue":"1","key":"957_CR5","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/0022-0000(84)90075-8","volume":"28","author":"MA Casanova","year":"1984","unstructured":"Casanova, M.A., Fagin, R., Papadimitriou, C.H.: Inclusion dependencies and their interaction with functional dependencies. J. Comput. Syst. Sci. 28(1), 29\u201359 (1984). https:\/\/doi.org\/10.1016\/0022-0000(84)90075-8","journal-title":"J. Comput. Syst. Sci."},{"key":"957_CR6","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1007\/978-3-662-55665-8_36","volume-title":"Proceedings of the 6th International Workshop on Logic, Rationality, and Interaction (LORI), Lecture Notes in Computer Science","author":"J Chen","year":"2017","unstructured":"Chen, J., Ma, M.: Labelled sequent calculus for inquisitive logic. In: Alexandru Baltag, J.S., Yamada, T. (eds.) Proceedings of the 6th International Workshop on Logic, Rationality, and Interaction (LORI), Lecture Notes in Computer Science, vol. 10455, pp. 526\u2013540. Springer, Berlin (2017). https:\/\/doi.org\/10.1007\/978-3-662-55665-8_36"},{"key":"957_CR7","unstructured":"Ciardelli, I.: Questions in logic. PhD thesis, University of Amsterdam (2016). https:\/\/hdl.handle.net\/11245\/1.518411"},{"issue":"6","key":"957_CR8","doi-asserted-by":"publisher","first-page":"1643","DOI":"10.1007\/s11229-014-0404-7","volume":"192","author":"IA Ciardelli","year":"2015","unstructured":"Ciardelli, I.A., Roelofsen, F.: Inquisitive dynamic epistemic logic. Synthese 192(6), 1643\u20131687 (2015). https:\/\/doi.org\/10.1007\/s11229-014-0404-7","journal-title":"Synthese"},{"issue":"5","key":"957_CR9","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1093\/logcom\/exz006","volume":"29","author":"G D\u2019Agostino","year":"2019","unstructured":"D\u2019Agostino, G.: Uniform interpolation for propositional and modal team logics. J. Log. Comput. 29(5), 785\u2013802 (2019). https:\/\/doi.org\/10.1093\/logcom\/exz006","journal-title":"J. Log. Comput."},{"key":"957_CR10","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., et al.: A multi-type calculus for inquisitive logic. In: V\u00e4\u00e4n\u00e4nen, J., Hirvonen, \u00c5., de Queiroz, R. (eds.) Logic, Language, Information, and Computation. Lecture Notes in Computer Science, pp. 215\u2013233. Springer, Berlin (2016). https:\/\/doi.org\/10.1007\/978-3-662-52921-8_14"},{"issue":"1","key":"957_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\u2014on some logics of imperfect information. Ann. Pure Appl. Logic 163(1), 68\u201384 (2012). https:\/\/doi.org\/10.1016\/j.apal.2011.08.005","journal-title":"Ann. Pure Appl. Logic"},{"key":"957_CR12","doi-asserted-by":"publisher","unstructured":"Galliani, P., Hella, L.: Inclusion logic and fixed point logic. In: Leibniz International Proceedings in Informatics, LIPIcs, vol. 23, pp. 281\u2013295 (2013). https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2013.281","DOI":"10.4230\/LIPIcs.CSL.2013.281"},{"key":"957_CR13","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/S1570-2464(07)80008-5","volume-title":"Studies in Logic and Practical Reasoning, Handbook of Modal Logic","author":"V Goranko","year":"2007","unstructured":"Goranko, V., Otto, M.: 5 Model theory of modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Studies in Logic and Practical Reasoning, Handbook of Modal Logic, vol. 3, pp. 249\u2013329. Elsevier, Amsterdam (2007). https:\/\/doi.org\/10.1016\/S1570-2464(07)80008-5"},{"key":"957_CR14","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-31803-5_5","volume-title":"Dependence Logic: Theory and Applications","author":"E Gr\u00e4del","year":"2016","unstructured":"Gr\u00e4del, E.: Games for inclusion logic and fixed-point logic. In: Abramsky, S., Kontinen, J., V\u00e4\u00e4n\u00e4nen, J., et al. (eds.) Dependence Logic: Theory and Applications, pp. 73\u201398. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-31803-5_5"},{"issue":"2","key":"957_CR15","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. Studia Logica 101(2), 399\u2013410 (2013)","journal-title":"Studia Logica"},{"issue":"1","key":"957_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.apal.2014.09.002","volume":"166","author":"M Hannula","year":"2015","unstructured":"Hannula, M.: Axiomatizing first-order consequences in independence logic. Ann. Pure Appl. Logic 166(1), 61\u201391 (2015). https:\/\/doi.org\/10.1016\/j.apal.2014.09.002","journal-title":"Ann. Pure Appl. Logic"},{"key":"957_CR17","doi-asserted-by":"publisher","unstructured":"Hella, L., Stumpf, J.: The expressive power of modal logic with inclusion atoms. In: Electronic Proceedings in Theoretical Computer Science, vol. 193, pp. 129\u2013143 (2015). https:\/\/doi.org\/10.4204\/EPTCS.193.10","DOI":"10.4204\/EPTCS.193.10"},{"key":"957_CR18","unstructured":"Hella, L., Luosto, K., Sano, K., et\u00a0al.: The expressive power of modal dependence logic. In: Advances in modal logic, vol. 10, pp. 294\u2013312. Coll. Publ., London (2014) http:\/\/www.aiml.net\/volumes\/volume10\/Hella-Luosto-Sano-Virtema.pdf"},{"issue":"5","key":"957_CR19","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1093\/logcom\/exz008","volume":"29","author":"L Hella","year":"2019","unstructured":"Hella, L., Kuusisto, A., Meier, A., et al.: Model checking and validity in propositional and modal inclusion logics. J. Log. Comput. 29(5), 605\u2013630 (2019). https:\/\/doi.org\/10.1093\/logcom\/exz008","journal-title":"J. Log. Comput."},{"key":"957_CR20","doi-asserted-by":"publisher","DOI":"10.1145\/3356043","author":"L Hella","year":"2019","unstructured":"Hella, L., Kuusisto, A., Meier, A., et al.: Satisfiability of modal inclusion logic: lax and strict semantics. ACM Trans. Comput. Logic (2019). https:\/\/doi.org\/10.1145\/3356043","journal-title":"ACM Trans. Comput. Logic"},{"key":"957_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624919","volume-title":"The Principles of Mathematics Revisited","author":"J Hintikka","year":"1998","unstructured":"Hintikka, J.: The Principles of Mathematics Revisited. Cambridge University Press, Cambridge (1998). https:\/\/doi.org\/10.1017\/CBO9780511624919"},{"key":"957_CR22","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1016\/S0049-237X(08)70066-1","volume-title":"Logic, Methodology and Philosophy of Science VIII, Studies in Logic and the Foundations of Mathematics","author":"J Hintikka","year":"1989","unstructured":"Hintikka, J., Sandu, G.: Informational independence as a semantical phenomenon. In: Fenstad, J.E., Frolov, I.T., Hilpinen, R. (eds.) Logic, Methodology and Philosophy of Science VIII, Studies in Logic and the Foundations of Mathematics, vol. 126, pp. 571\u2013589. Elsevier, Amsterdam (1989). https:\/\/doi.org\/10.1016\/S0049-237X(08)70066-1"},{"issue":"4","key":"957_CR23","doi-asserted-by":"publisher","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. Log. J. IGPL 5(4), 539\u2013563 (1997). https:\/\/doi.org\/10.1093\/jigpal\/5.4.539","journal-title":"Log. J. IGPL"},{"key":"957_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, G., Salomaa, A. (eds.) Structures in Logic and Computer Science: A Selection of Essays in Honor of A Ehrenfeucht. Lecture Notes in Computer Science, pp. 51\u201365. Springer, Berlin (1997). https:\/\/doi.org\/10.1007\/3-540-63246-8_4"},{"issue":"3","key":"957_CR25","doi-asserted-by":"publisher","first-page":"6501","DOI":"10.46298\/lmcs-17(3:14)2021","volume":"17","author":"M Hoelzel","year":"2021","unstructured":"Hoelzel, M., Wilke, R.: On the union closed fragment of existential second-order logic and logics with team semantics. Log. Methods Comput. Sci. 17(3), 6501 (2021). https:\/\/doi.org\/10.46298\/lmcs-17(3:14)2021","journal-title":"Log. Methods Comput. Sci."},{"key":"957_CR26","unstructured":"H\u00e4ggblom, M.: Axiomatizing modal inclusion logic. Master\u2019s thesis, University of Helsinki, Helsinki (2022) https:\/\/helda.helsinki.fi\/items\/89688789-0073-4191-8777-98542f128949"},{"key":"957_CR27","doi-asserted-by":"publisher","unstructured":"Kontinen, J., M\u00fcller, JS., Schnoor, H., et\u00a0al.: A van Benthem theorem for modal team semantics. In: Kreutzer S (ed) 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, Germany, Leibniz International Proceedings in Informatics (LIPIcs), pp. 277\u2013291 (2015). https:\/\/doi.org\/10.4230\/LIPIcs.CSL.2015.277","DOI":"10.4230\/LIPIcs.CSL.2015.277"},{"issue":"5","key":"957_CR28","doi-asserted-by":"publisher","first-page":"1333","DOI":"10.1093\/logcom\/exw019","volume":"27","author":"J Kontinen","year":"2016","unstructured":"Kontinen, J., M\u00fcller, J.S., Schnoor, H., et al.: Modal independence logic. J. Log. Comput. 27(5), 1333\u20131352 (2016). https:\/\/doi.org\/10.1093\/logcom\/exw019","journal-title":"J. Log. Comput."},{"key":"957_CR29","unstructured":"L\u00fcck, M.: Team logic: axioms, expressiveness, complexity. PhD thesis, University of Hanover, Hannover, Germany (2020). https:\/\/www.repo.uni-hannover.de\/handle\/123456789\/9430"},{"key":"957_CR30","unstructured":"M\u00fcller, V.: On the proof theory of inquisitive logic. Master\u2019s thesis, University of Amsterdam, The Netherlands (2022). https:\/\/eprints.illc.uva.nl\/id\/eprint\/2278\/1\/MoL-2023-26.text.pdf"},{"issue":"2","key":"957_CR31","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1002\/malq.202200072","volume":"70","author":"J Puljuj\u00e4rvi","year":"2024","unstructured":"Puljuj\u00e4rvi, J., Quadrellaro, D.E.: Compactness in team semantics. Math. Log. Q. 70(2), 142\u2013161 (2024). https:\/\/doi.org\/10.1002\/malq.202200072","journal-title":"Math. Log. Q."},{"issue":"3","key":"957_CR32","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. Log. 25(3), 221\u2013261 (1996). https:\/\/doi.org\/10.1007\/BF00248150","journal-title":"J. Philos. Log."},{"key":"957_CR33","doi-asserted-by":"publisher","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Dependence logic: a new approach to independence friendly logic. London Mathematical Society student texts. Cambridge University Press, Cambridge (2007). https:\/\/doi.org\/10.1017\/CBO9780511611193","DOI":"10.1017\/CBO9780511611193"},{"key":"957_CR34","first-page":"237","volume":"4","author":"J V\u00e4\u00e4n\u00e4nen","year":"2008","unstructured":"V\u00e4\u00e4n\u00e4nen, J.: Modal dependence logic. New perspectives on games and interaction 4, 237\u2013254 (2008)","journal-title":"New perspectives on games and interaction"},{"issue":"464","key":"957_CR35","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). https:\/\/doi.org\/10.1093\/mind\/fzm983","journal-title":"Mind"},{"issue":"5","key":"957_CR36","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1093\/jigpal\/jzx023","volume":"25","author":"F Yang","year":"2017","unstructured":"Yang, F.: Modal dependence logics: axiomatizations and model-theoretic properties. Logic J. IGPL 25(5), 773\u2013805 (2017). https:\/\/doi.org\/10.1093\/jigpal\/jzx023","journal-title":"Logic J. IGPL"},{"issue":"2","key":"957_CR37","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1002\/malq.201900031","volume":"66","author":"F Yang","year":"2020","unstructured":"Yang, F.: Axiomatizing first order consequences in inclusion logic. Math. Log. Q. 66(2), 195\u2013216 (2020). https:\/\/doi.org\/10.1002\/malq.201900031","journal-title":"Math. Log. Q."},{"issue":"6","key":"957_CR38","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2022.103102","volume":"173","author":"F Yang","year":"2022","unstructured":"Yang, F.: Propositional union closed team logics. Ann. Pure Appl. Logic 173(6), 103102 (2022). https:\/\/doi.org\/10.1016\/j.apal.2022.103102","journal-title":"Ann. Pure Appl. Logic"},{"issue":"7","key":"957_CR39","doi-asserted-by":"publisher","first-page":"1406","DOI":"10.1016\/j.apal.2017.01.007","volume":"168","author":"F Yang","year":"2017","unstructured":"Yang, F., V\u00e4\u00e4n\u00e4nen, J.: Propositional team logics. Ann. Pure Appl. Logic 168(7), 1406\u20131441 (2017). https:\/\/doi.org\/10.1016\/j.apal.2017.01.007","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00957-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-024-00957-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-024-00957-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T11:05:33Z","timestamp":1751886333000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-024-00957-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1,27]]},"references-count":39,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2025,7]]}},"alternative-id":["957"],"URL":"https:\/\/doi.org\/10.1007\/s00153-024-00957-y","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,1,27]]},"assertion":[{"value":"1 December 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 December 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 January 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no conflict of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}