{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T14:02:53Z","timestamp":1743516173931},"reference-count":22,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1016\/j.apal.2011.08.005","type":"journal-article","created":{"date-parts":[[2011,9,26]],"date-time":"2011-09-26T16:00:28Z","timestamp":1317052828000},"page":"68-84","source":"Crossref","is-referenced-by-count":114,"title":["Inclusion and exclusion dependencies in team semantics \u2014 On some logics of imperfect information"],"prefix":"10.1016","volume":"163","author":[{"given":"Pietro","family":"Galliani","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.apal.2011.08.005_br000005","series-title":"From IF to BI, a Tale of Dependence and Separation","author":"Abramsky","year":"2008"},{"key":"10.1016\/j.apal.2011.08.005_br000010","series-title":"Proceedings of the 1st ACM SIGACT-SIGMOD Symposium on Principles of Database Systems","first-page":"171","article-title":"Inclusion dependencies and their interaction with functional dependencies","author":"Casanova","year":"1982"},{"key":"10.1016\/j.apal.2011.08.005_br000015","series-title":"Proceedings of the 2nd ACM SIGACT-SIGMOD Symposium on Principles of Database Systems","first-page":"36","article-title":"Towards a sound view integration methodology","author":"Casanova","year":"1983"},{"key":"10.1016\/j.apal.2011.08.005_br000020","series-title":"Data Base Systems","first-page":"33","article-title":"Further normalization of the data base relational model","author":"Codd","year":"1972"},{"key":"10.1016\/j.apal.2011.08.005_br000025","article-title":"Hierarchies in dependence logic","author":"Durand","year":"2011","journal-title":"CoRR"},{"key":"10.1016\/j.apal.2011.08.005_br000030","unstructured":"Fredrik Engstr\u00f6m, Generalized Quantifiers in Dependence Logic. Draft, 2010."},{"key":"10.1016\/j.apal.2011.08.005_br000035","unstructured":"Ronald Fagin, 1974. Generalized first-order spectra and polynomial-time recognizable sets. In: Complexity of Computation, SIAM-AMS Proceedings, vol. 7, pp. 43\u201373."},{"key":"10.1016\/j.apal.2011.08.005_br000040","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1145\/319587.319592","article-title":"A normal form for relational databases that is based on domains and keys","volume":"6","author":"Fagin","year":"1981","journal-title":"ACM Transactions on Database Systems"},{"key":"10.1016\/j.apal.2011.08.005_br000045","unstructured":"Erich Gr\u00e4del, Jouko V\u00e4\u00e4n\u00e4nen, 2010. Dependence and Independence. Studia Logica (in press)."},{"key":"10.1016\/j.apal.2011.08.005_br000050","series-title":"The Principles of Mathematics Revisited","author":"Hintikka","year":"1996"},{"key":"10.1016\/j.apal.2011.08.005_br000055","series-title":"A Shorter Model Theory","author":"Hodges","year":"1997"},{"issue":"4","key":"10.1016\/j.apal.2011.08.005_br000060","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1093\/jigpal\/5.4.539","article-title":"Compositional semantics for a language of imperfect information","volume":"5","author":"Hodges","year":"1997","journal-title":"Logic Journal of IGPL"},{"key":"10.1016\/j.apal.2011.08.005_br000065","series-title":"Interactive Logic","first-page":"117","article-title":"Logics of imperfect information: why sets of assignments?","author":"Hodges","year":"2007"},{"key":"10.1016\/j.apal.2011.08.005_br000070","series-title":"The Age of Alternative Logics","first-page":"221","article-title":"Signaling in if-games: a tricky business","author":"Janssen","year":"2006"},{"key":"10.1016\/j.apal.2011.08.005_br000075","series-title":"Logic, Language, Information and Computation","first-page":"230","article-title":"Team logic and second-order logic","volume":"vol. 5514","author":"Kontinen","year":"2009"},{"issue":"18","key":"10.1016\/j.apal.2011.08.005_br000080","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10849-009-9082-0","article-title":"On definability in dependence logic","volume":"3","author":"Kontinen","year":"2009","journal-title":"Journal of Logic, Language and Information"},{"issue":"3","key":"10.1016\/j.apal.2011.08.005_br000085","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","article-title":"First order predicate logic with generalized quantifiers","volume":"32","author":"Lindstr\u00f6m","year":"1966","journal-title":"Theoria"},{"key":"10.1016\/j.apal.2011.08.005_br000090","doi-asserted-by":"crossref","first-page":"12","DOI":"10.4064\/fm-44-1-12-36","article-title":"On a generalization of quantifiers","volume":"44","author":"Mostowski","year":"1957","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/j.apal.2011.08.005_br000095","article-title":"Independence friendly logic","author":"Tulenheimo","year":"2009","journal-title":"Stanford Encyclopedia of Philosophy"},{"key":"10.1016\/j.apal.2011.08.005_br000100","series-title":"Dependence Logic","author":"V\u00e4\u00e4n\u00e4nen","year":"2007"},{"key":"10.1016\/j.apal.2011.08.005_br000105","series-title":"Interactive Logic. Selected Papers from the 7th Augustus de Morgan Workshop","first-page":"281","article-title":"Team Logic","author":"V\u00e4\u00e4n\u00e4nen","year":"2007"},{"key":"10.1016\/j.apal.2011.08.005_br000110","unstructured":"Fan Yang, 2010. Expressing second-order sentences in intuitionistic dependence logic. In: Juha Kontinen and Jouko V\u00e4\u00e4n\u00e4nen, editors, Proceedings of Dependence and Independence in Logic, pp. 118\u2013132. ESSLLI 2010."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007211001217?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007211001217?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T21:17:34Z","timestamp":1712956654000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007211001217"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,1]]}},"alternative-id":["S0168007211001217"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2011.08.005","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}