| No. |
Title |
Author |
Year |
| 1 |
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity |
Virtema, Jonni et al. |
2021 |
| 2 |
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic |
Hannula, Miika et al. |
2021 |
| 3 |
Counting of Teams in First-Order Team Logics |
Haak, Anselm et al. |
2019 |
| 4 |
Logics for Dependence and Independence (Dagstuhl Seminar 19031) |
Grädel, Erich et al. |
2019 |
| 5 |
Computational Aspects of Logics in Team Semantics (Tutorial) |
Kontinen, Juha |
2017 |
| 6 |
Decidability of Predicate Logics with Team Semantics |
Kontinen, Juha et al. |
2016 |
| 7 |
Descriptive Complexity of #AC^0 Functions |
Durand, Arnaud et al. |
2016 |
| 8 |
Logics for Dependence and Independence (Dagstuhl Seminar 15261) |
Grädel, Erich et al. |
2016 |
| 9 |
A Van Benthem Theorem for Modal Team Semantics |
Kontinen, Juha et al. |
2015 |
| 10 |
Dependence Logic: Theory and Applications (Dagstuhl Seminar 13071) |
Abramsky, Samson et al. |
2013 |
| 11 |
Hierarchies in independence logic |
Galliani, Pietro et al. |
2013 |
| 12 |
Dependence logic with a majority quantifier |
Durand, Arnaud et al. |
2011 |
