{"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":1775038323788,"version":"3.50.1"},"reference-count":32,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2020,1,1]]},"DOI":"10.1215\/00294527-2019-0033","type":"journal-article","created":{"date-parts":[[2019,12,18]],"date-time":"2019-12-18T03:07:27Z","timestamp":1576638447000},"source":"Crossref","is-referenced-by-count":19,"title":["Questions and Dependency in Intuitionistic Logic"],"prefix":"10.1215","volume":"61","author":[{"given":"Ivano","family":"Ciardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rosalie","family":"Iemhoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fan","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"7","unstructured":"[7] Ciardelli, I., \u201cInquisitive semantics and intermediate logics,\u201d master\u2019s dissertation, University of Amsterdam, Amsterdam, 2009, <a href=\"https:\/\/www.illc.uva.nl\/Research\/Publications\/Reports\/MoL-2009-11.text.pdf\">https:\/\/www.illc.uva.nl\/Research\/Publications\/Reports\/MoL-2009-11.text.pdf<\/a>."},{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Abramsky, S., and J. V\u00e4\u00e4n\u00e4nen, \u201cFrom IF to BI: A tale of dependence and separation,\u201d <i>Synthese<\/i>, vol. 167 (2009), pp. 207\u201330.","DOI":"10.1007\/s11229-008-9415-6"},{"key":"2","unstructured":"[2] Armstrong, W. W., \u201cDependency structures of data base relationships,\u201d pp. 580\u201383 in <i>Information Processing 74 (Stockholm, 1974)<\/i>, edited by J. L. Rosenfeld, North-Holland, Amsterdam, 1974."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Chagrov, A., and M. Zakharyaschev, <i>Modal Logic<\/i>, vol. 35 of <i>Oxford Logic Guides<\/i>, Oxford University Press, New York, 1997.","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"4","unstructured":"[4] Ciardelli, I., \u201cModalities in the realm of questions: Axiomatizing inquisitive epistemic logic,\u201d pp. 94\u2013113 in <i>Advances in Modal Logic, Vol. 10<\/i>, edited by R. Gor\u00e9, B. Kooi, and A. Kurucz, College Publications, London, 2014."},{"key":"5","unstructured":"[5] Ciardelli, I., \u201cDependency as question entailment,\u201d pp. 129\u201381 in <i>Dependence Logic: Theory and Applications<\/i>, edited by S. Abramsky, J. Kontinen, J. V\u00e4\u00e4n\u00e4nen, and H. Vollmer, Birkh\u00e4user\/Springer, Cham, 2016."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Ciardelli, I., \u201cQuestions as information types,\u201d <i>Synthese<\/i>, vol. 195 (2018), pp. 321\u201365.","DOI":"10.1007\/s11229-016-1221-y"},{"key":"8","unstructured":"[8] Ciardelli, I., \u201cQuestions in logic,\u201d Ph.D. dissertation, University of Amsterdam, Amsterdam, 2016."},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Ciardelli, I., J. Groenendijk, and F. Roelofsen, \u201cOn the semantics and logic of declaratives and interrogatives,\u201d <i>Synthese<\/i>, vol. 192 (2015), pp. 1689\u2013728.","DOI":"10.1007\/s11229-013-0352-7"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Ciardelli, I., and M. Otto, \u201cBisimulation in inquisitive modal logic,\u201d pp. 151\u201366 in <i>Theoretical Aspects of Rationality and Knowledge<\/i>, edited by J. Lang, vol. 251 of <i>Electronic Proceedings in Theoretical Computer Science (EPTCS)<\/i>, EPTCS, n.p., 2017.","DOI":"10.4204\/EPTCS.251.11"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Ciardelli, I., and F. Roelofsen, \u201cInquisitive logic,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 40 (2011), pp. 55\u201394.","DOI":"10.1007\/s10992-010-9142-6"},{"key":"12","doi-asserted-by":"publisher","unstructured":"[12] Ciardelli, I., and F. Roelofsen, \u201cInquisitive dynamic epistemic logic,\u201d <i>Synthese<\/i>, vol. 192 (2015), pp. 1643\u201387.","DOI":"10.1007\/s11229-014-0404-7"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Ebbing, J., L. Hella, A. Meier, J.-S. M\u00fcller, J. Virtema, and H. Vollmer, \u201cExtended modal dependence logic,\u201d pp. 126\u201337 in <i>Logic, Language, Information, and Computation<\/i>, edited by L. Libkin, U. Kohlenbach, and R. de Queiroz, vol. 8071 of <i>Lecture Notes in Computer Science<\/i>, Springer, Heidelberg, 2013.","DOI":"10.1007\/978-3-642-39992-3_13"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Frittella, S., G. Greco, A. Palmigiano, and F. Yang, \u201cA multi-type calculus for inquisitive logic,\u201d pp. 215\u201333 in <i>Logic, Language, Information, and Computation<\/i>, edited by J. V\u00e4\u00e4n\u00e4nen, A. Hirvonen, and R. de Queiroz, vol. 9803 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2016.","DOI":"10.1007\/978-3-662-52921-8_14"},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Galliani, P., \u201cInclusion and exclusion dependencies in team semantics: On some logics of imperfect information,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 163 (2012), pp. 68\u201384.","DOI":"10.1016\/j.apal.2011.08.005"},{"key":"16","unstructured":"[16] Galliani, P., and L. Hella, \u201cInclusion logic and fixed point logic,\u201d pp. 281\u201395 in <i>Computer Science Logic 2013<\/i>, edited by R. Ronchi della Rocca, vol. 23 of <i>Leibniz International Proceedings in Informatics<\/i>, Schloss Dagstuhl, Wadern, 2013."},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] Gr\u00e4del, E., and J. V\u00e4\u00e4n\u00e4nen, \u201cDependence and independence,\u201d <i>Studia Logica<\/i>, vol. 101 (2013), pp. 399\u2013410.","DOI":"10.1007\/s11225-013-9479-2"},{"key":"18","unstructured":"[18] Kontinen, J., J.-S. M\u00fcller, H. Schnoor, and H. Vollmer, \u201cA van Benthem theorem for modal team semantics,\u201d pp. 277\u201391 in <i>Twenty-fourth EACSL Annual Conference on Computer Science Logic (CSL 2015)<\/i>, edited by S. Kreutzer, vol. 41 of <i>Leibniz International Proceedings in Informatics<\/i>, Schloss Dagstuhl, Wadern, 2015."},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] Pitts, A. M., \u201cOn an interpretation of second-order quantification in first-order intuitionistic propositional logic,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 57 (1992), pp. 33\u201352.","DOI":"10.2307\/2275175"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] Pun\u010doch\u00e1\u0159, V., \u201cWeak negation in inquisitive semantics,\u201d <i>Journal of Logic, Language, and Information<\/i>, vol. 24 (2015), pp. 323\u201355.","DOI":"10.1007\/s10849-015-9219-2"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] Pun\u010doch\u00e1\u0159, V., \u201cA generalization of inquisitive semantics,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 45 (2016), pp. 399\u2013428.","DOI":"10.1007\/s10992-015-9379-1"},{"key":"22","unstructured":"[22] Pun\u010doch\u00e1\u0159, V., \u201cAlgebras of information states,\u201d <i>Journal and Logic and Computation<\/i>, vol. 27 (2017), pp. 1643\u201375."},{"key":"23","doi-asserted-by":"publisher","unstructured":"[23] Pun\u010doch\u00e1\u0159, V., \u201cSubstructural inquisitive logics,\u201d <i>Review of Symbolic Logic<\/i>, vol. 12 (2019), pp. 296\u2013330.","DOI":"10.1017\/S1755020319000017"},{"key":"24","unstructured":"[24] Sano, K., and J. Virtema, \u201cCharacterizing frame definability in team semantics via the universal modality,\u201d pp. 140\u201355 in <i>Logic, Language, Information, and Computation<\/i>, edited by V. de Paiva, R. de Queiroz, L. S. Moss, D. Leivant, and A. G. de Oliveira, vol. 9160 of <i>Lecture Notes in Computer Science<\/i>, Springer, Heidelberg, 2015."},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] Sano, K., and J. Virtema, \u201cCharacterizing relative frame definability in team semantics via the universal modality,\u201d pp. 392\u2013409 in <i>Logic, Language, Information, and Computation<\/i>, edited by J. V\u00e4\u00e4n\u00e4nen, A. Hirvonen, and R. de Queiroz, vol. 9803 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 2016.","DOI":"10.1007\/978-3-662-52921-8_24"},{"key":"26","doi-asserted-by":"crossref","unstructured":"[26] V\u00e4\u00e4n\u00e4nen, J., <i>Dependence Logic: A New Approach to Independence Friendly Logic<\/i>, vol. 70 of <i>London Mathematical Society Student Texts<\/i>, Cambridge University Press, Cambridge, 2007.","DOI":"10.1017\/CBO9780511611193"},{"key":"27","unstructured":"[27] V\u00e4\u00e4n\u00e4nen, J., \u201cModal dependence logic,\u201d pp. 237\u201354 in <i>New Perspectives on Games and Interaction<\/i>, edited by K. Apt and R. van Rooij, vol. 4 of <i>Texts in Logic and Games<\/i>, Amsterdam University Press, Amsterdam, 2008."},{"key":"28","doi-asserted-by":"publisher","unstructured":"[28] Yang, F., \u201cExpressing second-order sentences in intuitionistic dependence logic,\u201d <i>Studia Logica<\/i>, vol. 101 (2013), pp. 323\u201342.","DOI":"10.1007\/s11225-013-9476-5"},{"key":"29","doi-asserted-by":"crossref","unstructured":"[29] Yang, F., \u201cModal dependence logics: Axiomatizations and model-theoretic properties,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 25 (2017), pp. 773\u2013805.","DOI":"10.1093\/jigpal\/jzx023"},{"key":"30","unstructured":"[30] Yang, F., \u201cOn extensions and variants of dependence logic: A study of intuitionistic connectives in the team semantics setting,\u201d Ph.D. dissertation, University of Helsinki, Helsinki, 2014."},{"key":"31","doi-asserted-by":"crossref","unstructured":"[31] Yang, F., and J. V\u00e4\u00e4n\u00e4nen, \u201cPropositional logics of dependence,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 167 (2016), pp. 557\u201389.","DOI":"10.1016\/j.apal.2016.03.003"},{"key":"32","doi-asserted-by":"crossref","unstructured":"[32] Yang, F., and J. V\u00e4\u00e4n\u00e4nen, \u201cPropositional team logics,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 168 (2017), pp. 1406\u201341.","DOI":"10.1016\/j.apal.2017.01.007"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2019-0033","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,28]],"date-time":"2024-07-28T20:05:25Z","timestamp":1722197125000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-61\/issue-1\/Questions-and-Dependency-in-Intuitionistic-Logic\/10.1215\/00294527-2019-0033.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,1]]},"references-count":32,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2019-0033","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2020,1,1]]}}}