{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:12:26Z","timestamp":1762297946150},"reference-count":19,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-1960506","type":"journal-article","created":{"date-parts":[[2013,2,21]],"date-time":"2013-02-21T13:56:35Z","timestamp":1361454995000},"source":"Crossref","is-referenced-by-count":6,"title":["General Models and Entailment Semantics for Independence Logic"],"prefix":"10.1215","volume":"54","author":[{"given":"Pietro","family":"Galliani","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"3","unstructured":"[3] Engstr\u00f6m, F., \u201cGeneralized quantifiers in dependence logic,\u201d to appear in <i>Journal of Logic, Language and Information<\/i>, preprint, <a href=\"arXiv:1103.0396v4\">arXiv:1103.0396v4<\/a> [math.LO]"},{"key":"5","unstructured":"[5] Gr\u00e4del, E., and J. V\u00e4\u00e4n\u00e4nen, \u201cDependence and independence,\u201d to appear in <i>Studia Logica<\/i>, preprint, <a href=\"arXiv:1208.5268v1\">arXiv:1208.5268v1<\/a> [cs.LO]"},{"key":"10","unstructured":"[10] Kontinen, J., \u201cCoherence and computational complexity of quantifier-free dependence logic formulas,\u201d pp. 58\u201377 in <i>Proceedings of Dependence and Independence in Logic (Copenhagen, 2010)<\/i>, edited by J. Kontinen and J. V\u00e4\u00e4n\u00e4nen, ESSLLI, 2010, <a href=\"http:\/\/www.illc.uva.nl\/dependence\/proceedings.pdf\">http:\/\/www.illc.uva.nl\/dependence\/proceedings.pdf<\/a>."},{"key":"12","unstructured":"[12] Kontinen, J., and J. V\u00e4\u00e4n\u00e4nen, \u201cAxiomatizing first-order consequences in dependence logic,\u201d preprint, <a href=\"arXiv:1208.0176v1\">arXiv:1208.0176v1<\/a> [math. LO]."},{"key":"19","unstructured":"[19] Yang, F., \u201cExpressing second-order sentences in intuitionistic dependence logic,\u201d pp. 118\u201332 in <i>Proceedings of Dependence and Independence in Logic (Copenhagen, 2010)<\/i>, edited by J. Kontinen and J. V\u00e4\u00e4n\u00e4nen, ESSLLI, 2010, <a href=\"http:\/\/www.illc.uva.nl\/dependence\/proceedings.pdf\">http:\/\/www.illc.uva.nl\/dependence\/proceedings.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","doi-asserted-by":"publisher","unstructured":"[2] Cameron, P., and W. Hodges, \u201cSome combinatorics of imperfect information,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 66 (2001), pp. 673\u201384.","DOI":"10.2307\/2695036"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] 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":"6","doi-asserted-by":"publisher","unstructured":"[6] Henkin, L., \u201cCompleteness in the theory of types,\u201d <i>Journal of Symbolic Logic<\/i>, vol. 15 (1950), pp. 81\u201391.","DOI":"10.2307\/2266967"},{"key":"7","unstructured":"[7] Henkin, L., \u201cSome remarks on infinitely long formulas,\u201d pp. 167\u201383 in <i>Infinitistic Methods (Warsaw, 1959)<\/i>, Pergamon Press, Oxford, UK; Pa\u0144stwowe Wydawnictwo Naukowe, Warsaw, 1961."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Hintikka, J., and G. Sandu, \u201cInformational independence as a semantical phenomenon,\u201d pp. 571\u201389 in <i>Logic, Methodology, and Philosophy of Science, Vol. VIII (Moscow, 1987)<\/i>, vol. 126 of <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1989.","DOI":"10.1016\/S0049-237X(08)70066-1"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Hodges, W., \u201cCompositional semantics for a language of imperfect information,\u201d <i>Logic Journal of the Interest Group in Pure and Applied Logics<\/i>, vol. 5 (1997), pp. 539\u201363.","DOI":"10.1093\/jigpal\/5.4.539"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] Kontinen, J., and J. V\u00e4\u00e4n\u00e4nen, \u201cOn definability in dependence logic,\u201d <i>Journal of Logic, Language and Information<\/i>, vol. 18(2009), pp. 317\u201332. Erratum, <i>Journal of Logic, Language and Information<\/i>, vol. 20 (2011), pp. 133\u2013134.","DOI":"10.1007\/s10849-010-9125-6"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] L\u00f3pez-Escobar, E. G. K., \u201cFormalizing a nonlinear Henkin quantifier,\u201d <i>Fundamenta Mathematicae<\/i>, vol. 138 (1991), pp. 83\u2013101.","DOI":"10.4064\/fm-138-2-93-101"},{"key":"14","unstructured":"[14] Nurmi, V., \u201cDependence logic: Investigations into higher-order semantics defined on teams,\u201d Ph.D. dissertation, University of Helsinki, Helsinki, 2009."},{"key":"15","unstructured":"[15] Tulenheimo, T., \u201cIndependence-friendly modal logic,\u201d Ph.D. dissertation, University of Helsinki, Helsinki, 2004."},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] 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":"17","unstructured":"[17] V\u00e4\u00e4n\u00e4nen, J., \u201cTeam logic,\u201d pp. 281\u2013302 in <i>Interactive Logic<\/i>, edited by J. van Bentham, D. Gabbay, and B. Lowe, vol. 1 of <i>Texts in Logic and Games<\/i>, Amsterdam University Press, Amsterdam, 2007."},{"key":"18","unstructured":"[18] V\u00e4\u00e4n\u00e4nen, J., \u201cModal dependence logic,\u201d pp. 237\u2013254 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."}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1960506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:05Z","timestamp":1706648285000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-2\/General-Models-and-Entailment-Semantics-for-Independence-Logic\/10.1215\/00294527-1960506.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":19,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1960506","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}