Fausto Barbero
2019
Some observations about generalized quantifiers in logics of imperfect information
The Review of Symbolic Logic
1–31
10.1017/S1755020319000145
Peter Cameron
Wilfrid Hodges
2001
Some Combinatorics of Imperfect Information
The Journal of Symbolic Logic
66
2
673–684
10.2307/2695036
Arnaud Durand
Miika Hannula
Juha Kontinen
Arne Meier
Jonni Virtema
2018
Approximation and dependence via multiteam semantics
Annals of Mathematics and Artificial Intelligence
83
3-4
297–320
10.1007/s10472-017-9568-4
Arnaud Durand
Miika Hannula
Juha Kontinen
Arne Meier
Jonni Virtema
2018
Probabilistic team semantics
International Symposium on Foundations of Information and Knowledge Systems
Springer
186–206
10.1007/978-3-319-90050-6_11
Fredrik Engström
2012
Generalized quantifiers in dependence logic
Journal of Logic, Language and Information
21
3
299–324
10.1007/s10849-012-9162-4
Fredrik Engström
Juha Kontinen
Jouko Väänänen
2017
Dependence logic with generalized quantifiers: Axiomatizations
Journal of Computer and System Sciences
88
90–102
10.1016/j.jcss.2017.03.010
Pietro Galliani
2011
Sensible Semantics of Imperfect Information
Mohua Banerjee
Anil Seth
Logic and Its Applications
Lecture Notes in Computer Science
6521
Springer Berlin / Heidelberg
79–89
10.1007/978-3-642-18026-2_8
Pietro Galliani
2012
Inclusion and exclusion dependencies in team semantics: On some logics of imperfect information
Annals of Pure and Applied Logic
163
1
68 – 84
10.1016/j.apal.2011.08.005
Pietro Galliani
2015
Upwards closed dependencies in team semantics
Information and Computation
245
124–135
10.1016/j.ic.2015.06.008
Pietro Galliani
2016
On Strongly First-Order Dependencies
Dependence Logic
Springer
53–71
10.1007/978-3-319-31803-5_4
Pietro Galliani
2018
Safe Dependency Atoms and Possibility Operators in Team Semantics
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018.
58–72
10.4204/EPTCS.277.5
Pietro Galliani
2019
Characterizing downwards closed, strongly first order, relativizable dependencies
The Journal of Symbolic Logic
1–34
10.1017/jsl.2019.12
Pietro Galliani
Lauri Hella
2013
Inclusion Logic and Fixed Point Logic
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
281–295
10.4230/LIPIcs.CSL.2013.281
http://drops.dagstuhl.de/opus/volltexte/2013/4203
Erich Grädel
Jouko Väänänen
2013
Dependence and Independence
Studia Logica
101
2
399–410
10.1007/s11225-013-9479-2
Miika Hannula
Åsa Hirvonen
Juha Kontinen
Vadim Kulikov
Jonni Virtema
2019
Facets of Distribution Identities in Probabilistic Team Semantics
Francesco Calimeri
Nicola Leone
Marco Manna
Logics in Artificial Intelligence
Springer
304–320
10.1007/978-3-030-19570-0_20
Miika Hannula
Juha Kontinen
2016
A finite axiomatization of conditional independence and inclusion dependencies
Information and Computation
249
121–137
10.1007/978-3-319-04939-7_10
Jaakko Hintikka
Gabriel Sandu
1989
Informational independence as a semantic phenomenon
J.E Fenstad
I.T Frolov
R. Hilpinen
Logic, methodology and philosophy of science
Elsevier
571–589
10.1016/S0049-237X(08)70066-1
Wilfrid Hodges
1997
A Shorter Model Theory
Cambridge University Press
Wilfrid Hodges
1997
Compositional Semantics for a Language of Imperfect Information
Journal of the Interest Group in Pure and Applied Logics
5 (4)
539–563
10.1093/jigpal/5.4.539
Neil Immerman
1982
Relational queries computable in polynomial time
Proceedings of the fourteenth annual ACM symposium on Theory of computing
ACM
147–152
10.1016/S0019-9958(86)80029-8
Juha Kontinen
2010
Definability of second order generalized quantifiers
Archive for Mathematical Logic
49
3
379–398
10.1007/s00153-010-0177-8
Juha Kontinen
Antti Kuusisto
Jonni Virtema
2014
Decidable Fragments of Logics Based on Team Semantics
CoRR
abs/1410.5037
http://arxiv.org/abs/1410.5037
Juha Kontinen
Antti Kuusisto
Jonni Virtema
2016
Decidability of Predicate Logics with Team Semantics
Piotr Faliszewski
Anca Muscholl
Rolf Niedermeier
41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016)
Leibniz International Proceedings in Informatics (LIPIcs)
58
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Dagstuhl, Germany
60:1–60:14
10.4230/LIPIcs.MFCS.2016.60
http://drops.dagstuhl.de/opus/volltexte/2016/6472
Juha Kontinen
Sebastian Link
Jouko Väänänen
2013
Independence in database relations
Logic, Language, Information, and Computation
Springer
179–193
10.1007/978-3-642-39992-3_17
Antti Kuusisto
2015
A Double Team Semantics for Generalized Quantifiers
Journal of Logic, Language and Information
24
2
149–191
10.1007/s10849-015-9217-4
Martin Lück
2018
Axiomatizations of team logics
Ann. Pure Appl. Logic
169
9
928–969
10.1016/j.apal.2018.04.010
Allen L. Mann
Gabriel Sandu
Merlijn Sevenster
2011
Independence-Friendly Logic: A Game-Theoretic Approach
Cambridge University Press
10.1017/CBO9780511981418
Raine Rönnholm
2018
Arity Fragments of Logics with Team Semantics
Tampere University
https://tampub.uta.fi/handle/10024/104699
Jouko Väänänen
2007
Dependence Logic
Cambridge University Press
10.1017/CBO9780511611193
Moshe Y Vardi
1982
The complexity of relational query languages
Proceedings of the fourteenth annual ACM symposium on Theory of computing
ACM
137–146
10.1145/800070.802186