@unpublished(abramsky13, author = "Samson Abramsky and Jouko V\"a\"an\"anen", year = "2013", title = "Dependence logic, social choice and quantum physics", note = "In preparation", ) @inproceedings(armstrong74, author = "William W. Armstrong", year = "1974", title = "{Dependency Structures of Data Base Relationships.}", booktitle = "Proc. of IFIP World Computer Congress", pages = "580--583", ) @inproceedings(casanova83, author = "Marco A. Casanova and V\^ania M. P. Vidal", year = "1983", title = "Towards a sound view integration methodology", booktitle = "Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems", series = "PODS '83", publisher = "ACM", address = "New York, NY, USA", pages = "36--47", doi = "10.1145/588058.588065", ) @article(engstrom12, author = "Fredrik Engstr{\"o}m", year = "2012", title = "Generalized quantifiers in dependence logic", journal = "Journal of Logic, Language and Information", volume = "21", number = "3", pages = "299--324", doi = "10.1007/s10849-012-9162-4", ) @article(fagin77, author = "Ronald Fagin", year = "1977", title = "Multivalued dependencies and a new normal form for relational databases", journal = "ACM Transactions on Database Systems", volume = "2", pages = "262--278", doi = "10.1145/320557.320571", ) @article(fagin81, author = "Ronald Fagin", year = "1981", title = "A normal form for relational databases that is based on domains and keys", journal = "ACM Transactions on Database Systems", volume = "6", pages = "387--415", doi = "10.1145/319587.319592", ) @phdthesis(galliani12c, author = "Pietro Galliani", year = "2012", title = "The Dynamics of Imperfect Information", school = "University of Amsterdam", url = "http://dare.uva.nl/record/425951", ) @article(galliani12, author = "Pietro Galliani", year = "2012", title = "Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information", journal = "Annals of Pure and Applied Logic", volume = "163", number = "1", pages = "68 -- 84", doi = "10.1016/j.apal.2011.08.005", ) @unpublished(gallhella13, author = "Pietro Galliani and Lauri Hella", year = "2013", title = "Inclusion Logic and Fixed Point Logic", note = "ArXiv:1304.4267", ) @unpublished(vaananen13, author = "Pietro Galliani and Jouko V\"a\"an\"anen", year = "2013", title = "On Dependence Logic", note = "ArXiv:1305.5948", ) @article(geiger91, author = "Dan Geiger and Azaria Paz and Judea Pearl", year = "1991", title = "Axioms and algorithms for inferences involving probabilistic independence", journal = "Information and Computation", volume = "91", number = "1", pages = "128 -- 141", doi = "10.1016/0890-5401(91)90077-F", ) @article(gradel13, author = "Erich Gr\"adel and Jouko V\"a\"an\"anen", year = "2013", title = "Dependence and Independence", journal = "Studia Logica", volume = "101", number = "2", pages = "399--410", doi = "10.1007/s11225-013-9479-2", ) @incollection(hintikkasandu89, author = "Jaakko Hintikka and Gabriel Sandu", year = "1989", title = "{I}nformational independence as a semantic phenomenon", editor = "J.E Fenstad and I.T Frolov and R. Hilpinen", booktitle = "Logic, methodology and philosophy of science", publisher = "Elsevier", pages = "571--589", doi = "10.1016/S0049-237X(08)70066-1", ) @article(hodges97, author = "Wilfrid Hodges", year = "1997", title = "{C}ompositional {S}emantics for a {L}anguage of {I}mperfect {I}nformation", journal = "Journal of the Interest Group in Pure and Applied Logics", volume = "5 (4)", pages = "539--563", doi = "10.1093/jigpal/5.4.539", ) @article(kontinen_ja13, author = "Jarmo Kontinen", year = "2013", title = "Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas", journal = "Studia Logica", volume = "101", number = "2", pages = "267--291", doi = "10.1007/s11225-013-9481-8", ) @incollection(kontinennu09, author = "Juha Kontinen and Ville Nurmi", year = "2009", title = "Team Logic and Second-Order Logic", editor = "Hiroakira Ono and Makoto Kanazawa and Ruy de Queiroz", booktitle = "Logic, Language, Information and Computation", series = "Lecture Notes in Computer Science", volume = "5514", publisher = "Springer Berlin / Heidelberg", pages = "230--241", doi = "10.1007/978-3-642-02261-6_19", ) @unpublished(kuusisto13, author = "Antti Kuusisto", year = "2013", title = "Defining a Double Team Semantics for Generalized Quantifiers (Extended Version)", url = "https://uta17-kk.lib.helsinki.fi/bitstream/handle/10024/68064/defining_double_team_2013.pdf?sequence=1", note = "Manuscript", ) @book(mann11, author = "Allen L. Mann and Gabriel Sandu and Merlijn Sevenster", year = "2011", title = "Independence-Friendly Logic: A Game-Theoretic Approach", publisher = "Cambridge University Press", doi = "10.1017/CBO9780511981418", ) @book(vaananen07, author = "Jouko V\"a\"an\"anen", year = "2007", title = "Dependence Logic", publisher = "Cambridge University Press", doi = "10.1017/CBO9780511611193", ) @unpublished(yang13b, author = "Jouko V\"a\"an\"anen and Fan Yang", year = "2013", title = "Propositional dependence logic", note = "Manuscript", )