{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:12:10Z","timestamp":1775038330103,"version":"3.50.1"},"reference-count":13,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2011,1,1]]},"DOI":"10.1215\/00294527-2010-036","type":"journal-article","created":{"date-parts":[[2010,12,13]],"date-time":"2010-12-13T14:13:53Z","timestamp":1292249633000},"source":"Crossref","is-referenced-by-count":16,"title":["A Remark on Negation in Dependence Logic"],"prefix":"10.1215","volume":"52","author":[{"given":"Juha","family":"Kontinen","sequence":"first","affiliation":[]},{"given":"Jouko","family":"V\u00e4\u00e4n\u00e4nen","sequence":"additional","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Armstrong, W. W., \"Dependency structures of data base relationships\", pp. 580--83 in <i>Information Processing 74 (Proceedings of the IFIP<\/i> Congress, Stockholm, 1974), North-Holland, Amsterdam, 1974."},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Burgess, J. P., \"A remark on Henkin sentences and their contraries\", <i>Notre Dame Journal of Formal Logic<\/i>, vol. 44 (2003), pp. 185--88.","DOI":"10.1305\/ndjfl\/1091030856"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] Cameron, P., and W. Hodges, \"Some combinatorics of imperfect information\", <i>The Journal of Symbolic Logic<\/i>, vol. 66 (2001), pp. 673--84.","DOI":"10.2307\/2695036"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Craig, W., \"Linear reasoning. A new form of the Herbrand-Gentzen theorem\", <i>The Journal of Symbolic Logic<\/i>, vol. 22 (1957), pp. 250--68.","DOI":"10.2307\/2963593"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Enderton, H. B., \"Finite partially-ordered quantifiers\", <i>Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik<\/i>, vol. 16 (1970), pp. 393--97.","DOI":"10.1002\/malq.19700160802"},{"key":"6","unstructured":"[6] Henkin, L., \"Some remarks on infinitely long formulas\", pp. 167--83 in <i>Infinitistic Methods (Proceedings of the Symposium on the Foundations of Mathematics, Warsaw, 1959)<\/i>, Pergamon, Oxford, 1961."},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] Hodges, W., \"Compositional semantics for a language of imperfect information\", <i>Logic Journal of the IGPL<\/i>, vol. 5 (1997), pp. 539--63.","DOI":"10.1093\/jigpal\/5.4.539"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Hodges, W., \"Some strange quantifiers\", pp. 51--65 in <i>Structures in Logic and Computer Science<\/i>, vol. 1261 of <i>Lecture Notes in Computer Science<\/i>, Springer, Berlin, 1997.","DOI":"10.1007\/3-540-63246-8_4"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Kontinen, J., and J. V\u00e4\u00e4n\u00e4nen, \"On definability in dependence logic\", <i>Journal of Logic, Language and Information<\/i>, vol. 18 (2009), pp. 317--32.","DOI":"10.1007\/s10849-009-9082-0"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Kontinen, J., and J. V\u00e4\u00e4n\u00e4nen, ``Erratum: On definability in dependence logic,'' To appear in <i>Journal of Logic, Language and Information<\/i>. DOI: 10.1007\/s10849-010-9125-6.","DOI":"10.1007\/s10849-009-9082-0"},{"key":"11","unstructured":"[11] V\u00e4\u00e4n\u00e4nen, J., \"A remark on nondeterminacy in IF\" logic, <i>Acta Philosophica Fennica<\/i>, vol. 78 (2006), pp. 71--77."},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] 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":"13","doi-asserted-by":"publisher","unstructured":"[13] Walkoe, W. J., Jr., \"Finite partially-ordered quantification\", <i>The Journal of Symbolic Logic<\/i>, vol. 35 (1970), pp. 535--55.","DOI":"10.2307\/2271440"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2010-036","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:57:36Z","timestamp":1706648256000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-52\/issue-1\/A-Remark-on-Negation-in-Dependence-Logic\/10.1215\/00294527-2010-036.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,1,1]]},"references-count":13,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2011,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2010-036","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2011,1,1]]}}}