Fausto Barbero (2017):
Some observations about generalized quantifiers in logics of imperfect information.
arXiv preprint arXiv:1709.07301.
Arnaud Durand & Juha Kontinen (2012):
Hierarchies in dependence logic.
ACM Transactions on Computational Logic (TOCL) 13(4),
pp. 31,
doi:10.1145/2362355.2362359.
Arnaud Durand, Juha Kontinen & Heribert Vollmer (2016):
Expressivity and complexity of dependence logic.
In: Dependence Logic.
Springer,
pp. 5–32,
doi:10.1007/978-3-319-31803-5_2.
Fredrik Engström (2012):
Generalized quantifiers in dependence logic.
Journal of Logic, Language and Information 21(3),
pp. 299–324,
doi:10.1007/s10849-012-9162-4.
Pietro Galliani (2012):
Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information.
Annals of Pure and Applied Logic 163(1),
pp. 68 – 84,
doi:10.1016/j.apal.2011.08.005.
Pietro Galliani (2013):
Epistemic operators in dependence logic.
Studia logica 101(2),
pp. 367–397,
doi:10.1007/s11225-013-9478-3.
Pietro Galliani (2013):
Upwards Closed Dependencies in Team Semantics.
In: Gabriele Puppis & Tiziano Villa: Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification,
EPTCS 119,
pp. 93–106,
doi:10.4204/EPTCS.119.
Pietro Galliani (2014):
Transition semantics: the dynamics of dependence logic.
Synthese 191(6),
pp. 1249–1276,
doi:10.1007/s11229-013-0327-8.
Pietro Galliani (2016):
On Strongly First-Order Dependencies.
In: Dependence Logic.
Springer,
pp. 53–71,
doi:10.1007/978-3-319-31803-5_4.
Pietro Galliani, Miika Hannula & Juha Kontinen (2013):
Hierarchies in independence logic.
In: Simona Ronchi Della Rocca: Computer Science Logic 2013 (CSL 2013),
Leibniz International Proceedings in Informatics (LIPIcs) 23.
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik,
Dagstuhl, Germany,
pp. 263–280,
doi:10.4230/LIPIcs.CSL.2013.263.
Erich Grädel & Jouko Väänänen (2013):
Dependence and Independence.
Studia Logica 101(2),
pp. 399–410,
doi:10.1007/s11225-013-9479-2.
Miika Hannula (2015):
Hierarchies in inclusion logic with lax semantics.
In: Indian Conference on Logic and Its Applications.
Springer,
pp. 100–118,
doi:10.1007/978-3-662-45824-2_7.
Jaakko Hintikka (1996):
The Principles of Mathematics Revisited.
Cambridge University Press,
doi:10.1017/cbo9780511624919.
Jaakko Hintikka & Gabriel Sandu (1989):
Informational independence as a semantic phenomenon.
In: J.E Fenstad, I.T Frolov & R. Hilpinen: Logic, methodology and philosophy of science.
Elsevier,
pp. 571–589,
doi:10.1016/S0049-237X(08)70066-1.
Jaakko Hintikka & Gabriel Sandu (1997):
Game-Theoretical Semantics.
In: Johan van Benthem & Alice T. Meulen: Handbook of Logic and Language.
Elsevier,
pp. 361–410,
doi:10.1016/b978-044481714-3/50009-6.
Wilfrid Hodges (1997):
Compositional Semantics for a Language of Imperfect Information.
Journal of the Interest Group in Pure and Applied Logics 5 (4),
pp. 539–563,
doi:10.1093/jigpal/5.4.539.
Juha Kontinen, Sebastian Link & Jouko Väänänen (2013):
Independence in database relations.
In: Logic, Language, Information, and Computation.
Springer,
pp. 179–193,
doi:10.1007/978-3-642-39992-3_17.
Juha Kontinen & Ville Nurmi (2009):
Team Logic and Second-Order Logic.
In: Hiroakira Ono, Makoto Kanazawa & Ruy de Queiroz: Logic, Language, Information and Computation,
Lecture Notes in Computer Science 5514.
Springer Berlin / Heidelberg,
pp. 230–241,
doi:10.1007/978-3-642-02261-6_19.
Martin Lück (2018):
On the Complexity of Team Logic and its Two-Variable Fragment.
arXiv preprint arXiv:1804.04968.
Raine Ronnholm (2015):
Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic.
arXiv preprint arXiv:1502.05632.
Jouko Väänänen (2007):
Dependence Logic.
Cambridge University Press,
doi:10.1017/CBO9780511611193.
Jouko Väänänen (2007):
Team Logic.
In: J. van Benthem, D. Gabbay & B. Löwe: Interactive Logic. Selected Papers from the 7th Augustus de Morgan Workshop.
Amsterdam University Press,
pp. 281–302.
eptcs@eptcs.org