@article(DBLP:journals/jphil/CiardelliR11, author = {Ivano Ciardelli and Floris Roelofsen}, year = {2011}, title = {Inquisitive Logic}, journal = {J. Philosophical Logic}, volume = {40}, number = {1}, pages = {55--94}, doi = {10.1007/s10992-010-9142-6}, ) @article(durand11, author = {Arnaud Durand and Juha Kontinen}, year = {2012}, title = {Hierarchies in dependence logic}, journal = {ACM Transactions on Computational Logic (TOCL)}, volume = {13}, number = {4}, pages = {31}, doi = {10.1145/2362355.2362359}, ) @article(DBLP:journals/corr/abs-1210-3321, author = {Johannes Ebbing and Juha Kontinen and Julian{-}Steffen M{\"{u}}ller and Heribert Vollmer}, year = {2014}, title = {A Fragment of Dependence Logic Capturing Polynomial Time}, journal = {Logical Methods in Computer Science}, volume = {10}, number = {3}, doi = {10.2168/LMCS-10(3:3)2014}, ) @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}, ) @inproceedings(galhankon13, author = {Pietro Galliani and Miika Hannula and Juha Kontinen}, year = {2013}, title = {{Hierarchies in independence logic}}, editor = {Simona Ronchi~Della Rocca}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {23}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, pages = {263--280}, doi = {10.4230/LIPIcs.CSL.2013.263}, url = {http://drops.dagstuhl.de/opus/volltexte/2013/4202}, ) @inproceedings(gallhella13, author = {Pietro Galliani and Lauri Hella}, year = {2013}, title = {{Inclusion Logic and Fixed Point Logic}}, editor = {Simona Ronchi~Della Rocca}, booktitle = {Computer Science Logic 2013 (CSL 2013)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {23}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, pages = {281--295}, doi = {10.4230/LIPIcs.CSL.2013.281}, url = {http://drops.dagstuhl.de/opus/volltexte/2013/4203}, ) @article(DBLP:journals/networks/GeigerVP90, author = {Dan Geiger and Thomas Verma and Judea Pearl}, year = {1990}, title = {Identifying independence in bayesian networks}, journal = {Networks}, volume = {20}, number = {5}, pages = {507--534}, doi = {10.1002/net.3230200504}, ) @article(DBLP:journals/tcs/Gradel92, author = {Erich Gr{\"{a}}del}, year = {1992}, title = {Capturing Complexity Classes by Fragments of Second-Order Logic}, journal = {Theor. Comput. Sci.}, volume = {101}, number = {1}, pages = {35--57}, doi = {10.1016/0304-3975(92)90149-A}, ) @article(gradel12, author = {Erich Gr{\"a}del}, year = {2013}, title = {Model-checking games for logics of imperfect information}, journal = {Theor. Comput. Sci.}, volume = {493}, pages = {2--14}, url = {http://dx.doi.org/10.1016/j.tcs.2012.10.033}, ) @article(gradel10, 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}, ) @inproceedings(DBLP:conf/foiks/HannulaK14, author = {Miika Hannula and Juha Kontinen}, year = {2014}, title = {A Finite Axiomatization of Conditional Independence and Inclusion Dependencies}, editor = {Christoph Beierle and Carlo Meghini}, booktitle = {Foundations of Information and Knowledge Systems - 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8367}, publisher = {Springer}, pages = {211--229}, doi = {10.1007/978-3-319-04939-7\_10}, ) @article(DBLP:journals/corr/HannulaK14, author = {Miika Hannula and Juha Kontinen}, year = {2015}, title = {Hierarchies in independence and inclusion logic with strict semantics}, journal = {J. Log. Comput.}, volume = {25}, number = {3}, pages = {879--897}, doi = {10.1093/logcom/exu057}, ) @article(2014arXiv1409.5537H, author = {T.~{Hyttinen} and G.~{Paolini} and J.~{V{\"a}{\"a}n{\"a}nen}}, year = {2014}, title = {{Quantum team logic and Bell's Inequalities}}, journal = {ArXiv e-prints}, doi = {10.1017/S1755020315000192}, ) @article(kontinenj13, 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}, ) @article(KontinenKLV11, author = {Juha Kontinen and Antti Kuusisto and Peter Lohmann and Jonni Virtema}, year = {2014}, title = {Complexity of two-variable dependence logic and IF-logic}, journal = {Inf. Comput.}, volume = {239}, pages = {237--253}, doi = {10.1016/j.ic.2014.08.004}, ) @article(DBLP:journals/corr/KontinenKV14, author = {Juha Kontinen and Antti Kuusisto and Jonni Virtema}, year = {2014}, title = {Decidable Fragments of Logics Based on Team Semantics}, journal = {CoRR}, volume = {abs/1410.5037}, url = {http://arxiv.org/abs/1410.5037}, ) @book(vaananen07, author = {Jouko V\"a\"an\"anen}, year = {2007}, title = {Dependence Logic}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511611193}, )