PhD Theses:
Raine Rönnholm, Tempere University, 2018, Arity Fragments of Logics with Team Semantics
Miika Hannula, University of Helsinki, 2015, On Variants of Dependence Logic : Axiomatizability and Expressiveness
Julian-Steffen Müller, University of Hannover, 2014, Satisfiability and Model Checking in Team Based Logics
Jonni Virtema, University of Tampere, 2014, Approaches to Finite Variable Dependence: Expressiveness and Computational Complexity
Fan Yang, University of Helsinki, 2014, On Extensions and Variants of Dependence Logic: a Study of Intuitionistic Connectives in the Team Semantics Setting
Peter Lohmann, University of Hannover, 2012, Computational Aspects of Dependence Logic
Pietro Galliani, University of Amsterdam, 2012, The Dynamics of Imperfect Information
Jarmo Kontinen, University of Amsterdam, 2010, Coherence and Complexity in Fragments of Dependence Logic
Ville Nurmi, University of Helsinki, 2009, Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams
Special Issues:
Dependence Logic: Theory and Applications, Abramsky S., Kontinen J., Väänänen J., Vollmer H. (eds), Birkhauser, June 2016
Dependence and Independence in Logic, Studia Logica special issue, Volume 101, Issue 2, April 2013
Survey Papers:
Arnaud Durand, Juha Kontinen and Heribert Vollmer, Expressivity and Complexity of Dependence Logic. In: Abramsky S., Kontinen J., Väänänen J., Vollmer H. (eds) Dependence Logic: Theory and Applications. Birkhauser, June 2016, pp 5-32.
Juha Kontinen, Dependence Logic: A survey of some recent work. Philosophy Compass, 8(10): 950-963, 2013.
First-order Logic:
2017:
Gianluca Paolini, A Finite Axiomatization of G-Dependence. Journal of Logic Language and Information, to appear
Hannula M, Kontinen J, and Virtema J, Polyteam Semantics. Preprint, 2017
Jouko Väänänen,The Logic of Approximate Dependence, in: Rohit Parikh on Logic, Language and Society, edited by: Can Baskent, Lawrence S. Moss and Ramaswamy Ramanujam, Springer, 2017, pp 227-234.
Lauri Hella, Peter Lohmann and Jonni Virtema, Boolean Dependence Logic and Partially-Ordered Connectives. Journal of Computer and System Sciences, Volume 88, September 2017, pp 103–125.
2016:
Erich Grädel, Stefan Hegselmann, Counting in Team Semantics, CSL2016: 35:1-35:18
Miika Hannula, The Entailment Problem in Modal and Propositional Dependence Logics, preprint, 2016
Jouko Väänänen, Grelling on dependence, in: Dependence Logic: Theory and Applications, edited by S. Abramsky, J. Kontinen, J. Väänänen and H. Vollmer, Progress in Computer Science and Applied Logic, Birkhäuser, 2016, pp. 33-52
Wilfrid Hodges, Remarks on compositionality, in Samson Abramsky, Juha Kontinen, Jouko Väänänen and Heribert Vollmer eds., Dependence Logic: Theory and Applications, Birkhäuser 2016, pp 99-107
Erich Grädel, Games for Inclusion Logic and Fixed-Point Logic. in Samson Abramsky, Juha Kontinen, Jouko Väänänen and Heribert Vollmer eds., Dependence Logic: Theory and Applications, Birkhäuser 2016, pp 73-98
Pietro Galliani, On Strongly First-Order Dependencies. in Samson Abramsky, Juha Kontinen, Jouko Väänänen and Heribert Vollmer eds., Dependence Logic: Theory and Applications, Birkhäuser 2016, pp 53-71
Raine Rönnholm, The Expressive Power of k-ary Exclusion Logic, Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), LNCS 9803, Springer-Verlag, 2016, pp. 375-391
Fan Yang, Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited, Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), LNCS 9803, Springer-Verlag, 2016, pp 410-43
Miika Hannula and Juha Kontinen, A finite axiomatization of conditional independence and inclusion dependencies. Information and Computation, Volume 249, August 2016, pp 121-137.
Kontinen J, Kuusisto A, and Virtema J, Decidability of predicate logics with team semantics. Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. LIPIcs Vol. 58, paper 60, pages 1-14
Durand A, Hannula M, Kontinen J, Meier A, and Virtema J, Approximation and Dependence via Multiteam Semantics, Proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems. LNCS 9616, pp 271-291, 2016. Springer.
2015:
Raine Rönnholm, Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic, preprint, 2015
Antti Kuusisto, Team semantics and recursive enumerability, SOFSEM 2015, proceedings vol. II, pp. 132-139
Hannula, M.. Reasoning About Embedded Dependencies Using Inclusion Dependencies. In: Davis M., Fehnker A., McIver A., Voronkov A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science, vol 9450. Springer, 2015, pp 16-30
Miika Hannula, Hierarchies in inclusion logic with lax semantics. Proceedings of ICLA 2015, pages 100-118, 2015.
Miika Hannula, Axiomatizing first-order consequences in independence logic. Annals of Pure and Applied Logic, 166(1): 61-91, 2015.
Antti Kuusisto, A double team semantics for generalized quantifiers. Journal of Logic, Language and Information, June 2015, Volume 24, Issue 2, pp 149–191.
Antti Kuusisto, Team Semantics and Recursive Enumerability. SOFSEM 2015, proceedings vol. II.
Fredrik Engström, Juha Kontinen and Jouko Väänänen, Dependence Logic with Generalized Quantifiers: Axiomatizations. Journal of Computer and System Sciences, vol 88, pp 90-102
Arnaud Durand Nicolas de Rugy-Altherre, Juha Kontinen and Jouko Väänänen, Tractability Frontier of Data Complexity in Team Semantics, International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015).
Arnaud Durand, Johannes Ebbing, Juha Kontinen and Heribert Vollmer, Dependence logic with a majority quantifier. Journal of Logic, Language, and Information, 24(3): 289-305, 2015.
Miika Hannula and Juha Kontinen, Hierarchies in independence and inclusion logic with strict semantics. Journal of Logic and Computation, 25(3): 879-897, 2015.
Juha Kontinen, On Natural Deduction in Dependence Logic. Logic Without Borders : Essays on set theory, model theory, philosophical logic and philosophy of mathematics. pp 297-304, De Gruyter, 2015.
Pietro Galliani, The doxastic interpretation of team semantics. Logic without Borders, De Gruyter, 2015.
2014:
Pietro Galliani, Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics. preprint, 2014
Juha Kontinen, Antti Kuusisto, Peter Lohmann and Jonni Virtema, Complexity of two-variable Dependence Logic and IF-Logic. Information and Computation, 239: 237-253, 2014.
Pietro Galliani, Transition semantics - the dynamics of dependence logic. Synthese, April 2014, Volume 191, Issue 6, pp 1249-1276.
Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller and Heribert Vollmer, A Fragment of Dependence Logic Capturing Polynomial Time. Logical Methods in Computer Science,10(3), 2014.
Pietro Galliani and Jouko Väänänen, On dependence logic. Trends in Logic: 'Outstanding Contributions', (ed. A. Baltag and S. Smets), Springer, 2014, 101-119.
2013:
Erich Grädel. Model-Checking Games for Logics of Incomplete Information. Theoretical Computer Science, Special Issue dedicated to GandALF 2011, pp. 2–14, 2013.
Pietro Galliani, Juha Kontinen and Miika Hannula, Hierarchies in independence logic. Proceedings of Computer Science Logic 2013 (CSL 2013), Leibniz International Proceedings in Informatics (LIPIcs) 23, 263-280, 2013.
Julian Bradfield, Team building in dependence. Proceedings of Computer Science Logic 2013 (CSL 2013), Leibniz International Proceedings in Informatics (LIPIcs) 23, 116-128, 2013.
Pietro Galliani, Upwards closed dependencies in team semantics. GandALF 2013.
Pietro Galliani, The Dynamification of Modal Dependence Logic. Journal of Logic, Language and Information, July 2013, Volume 22, Issue 3, pp 269-295.
Pietro Galliani and Lauri Hella, Inclusion logic and fixed point logic. CSL 2013.
Pietro Galliani, General Models and Entailment Semantics for Independence Logic. Notre Dame Journal of Formal Logic, Volume 54, Number 2 (2013), 253-275.
Juha Kontinen and Jouko Väänänen, Axiomatizing first order consequences in dependence logic. Annals of Pure and Applied Logic, 164(11): 1101-1117, 2013.
Fredrik Engström and Juha Kontinen, Characterizing quantifier extensions of dependence logic. Journal of Symbolic Logic, 78(1): 307-316, 2013.
Fan Yang, Expressing Second-order Sentences in Intuitionistic Dependence Logic, Studia Logica, April 2013, Volume 101, Issue 2, pp 323-342
Pietro Galliani and Allen L. Mann, Lottery Semantics: a compositional semantics for probabilistic first-order logic with imperfect information. Studia Logica, April 2013, Volume 101, Issue 2.
Pietro Galliani, Epistemic Operators in Dependence Logic. Studia Logica, April 2013, Volume 101, Issue 2, pp 367-397.
Jouko Väänänen, Comments on Abramsky. In Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference, College Publications, London, 2013. pp. 152-156.
Erich Grädel and Jouko Väänänen, Dependence and independence. Studia Logica: Volume 101, Issue 2 (2013), pp 233-236.
Jarmo Kontinen, Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas. Studia Logica, April 2013, Volume 101, Issue 2, pp 267–291.
2012:
Fredrik Engström, Generalized quantifiers in dependence logic. Journal of Logic, Language and Information vol 21, pp. 299-324, 2012.
Pietro Galliani, Inclusion and Exclusion in Team Semantics: On some logics of imperfect information. Annals of Pure and Applied Logic, Volume 163, Issue 1, January 2012, pp 68–84
E. Grädel and J. Väänänen, Dependence, Independence, and Incomplete Information. In: Proceedings of 15th International Conference on Database Theory, ICDT 2012, 2012.
Arnaud Durand and Juha Kontinen, Hierarchies in Dependence Logic. ACM Transactions on Computational Logic, 13(4), 2012.
2011:
Pietro Galliani, Sensible Semantics of Imperfect Information: On a Formal Feature of Meanings. In the proceedings of the Fourth Indian Conference on Logic and its Applications,pp 79-89, 2011.
Juha Kontinen and Ville Nurmi, Team logic and second-order logic. Fundamenta Informaticae, 106:259-272, 2011.
Juha Kontinen and Jouko Väänänen, A remark on negation in dependence logic. Notre Dame Journal of Formal Logic, 52(1):55-65, 2011.
2010:
Wilfrid Hodges and Jouko Väänänen, Dependence of Variables Construed as an Atomic Formula. Annals of Pure and Applied Logic 161 (2010) 817-828.
before 2009:
Juha Kontinen and Jouko Väänänen, On definability in dependence logic, Journal of Logic, Language and Information, 18(3):317-332, 2009. Erratum
Samson Abramsky and Jouko Väänänen, From IF to BI - A Tale of Dependence and Separation. Synthese, Volume 167, Number 2. March, 2009.
Jouko Väänänen, Team logic, in: Interactive Logic, Johan van Benthem, Benedikt Löwe, Dov Gabbay (eds.), Texts in Logic and Games, vol 1. Amsterdam University Press, 2007, 281-302
Jouko Väänänen, A remark on nondeterminacy in IF logic. Acta Philosophica Fennica 78 (2006) 71-77.
Jouko Väänänen, On the semantics of informational independence, Logic Journal of the Interest Group in Pure and Applied Logics, 10:3, 337-350, 2002.
Jouko Väänänen, Second order logic and foundations of mathematics, Bulletin of Symbolic Logic, Volume 7, Issue 4, December, 2001.
Propositional Logic:
Fan Yang and Jouko Väänänen, Propositional Team Logics, Annals of Pure and Applied Logic, Volume 168, Issue 7, July 2017, pp. 1406–1441
Fan Yang, Uniform Definability in Propositional Dependence Logic, Review of Symbolic Logic, Volume 10, Issue 1, March 2017, pp. 65-79
Ebbing J, Hella L, Lohmann P, and Virtema J, Boolean Dependence Logic and Partially-Ordered Connectives, Journal of Computer and System Sciences, Volume 88, 2017, pp 103-125
Virtema J, Complexity of validity for propositional dependence logics, Information and Computation, Volume 253, Part 2, 2017, pp. 224-236
Hella L, Kuusisto A, Meier A, and Virtema J, Model checking and validity in propositional and modal inclusion logics. Accepted to the 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017.
Valentin Goranko, Antti Kuusisto, Logics for Propositional Determinacy and Independence, preprint, 2016
Sabine Frittella, Giuseppe Greco, Alessandra Palmigiano and Fan Yang, A Multi-type Calculus for Inquisitive Logic, Proceedings of the 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016), LNCS 9803, Springer-Verlag, 2016, pp 213-233
Fan Yang and Jouko Väänänen, Propositional Logics of Dependence, Annals of Pure and Applied Logic, Volume 167, Issue 7, July 2016, pp. 557–589
Rosalie Iemhoff and Fan Yang, Structural Completeness in Propositional Logics of Dependence, Archive for Mathematical Logic, November 2016, Volume 55, Issue 7, pp 955–975
Hannula M, Kontinen J, Virtema J, and Vollmer H., Complexity of Propositional Logics in Team Semantics. MFCS 2015, Springer, pp. 269-280
Juha Kontinen, Miika Hannula, Jonni Virtema and Heribert Vollmer, Complexity of Propositional Independence and Inclusion Logic. Proceedings of MFCS 2015, MFCS(1):269-280, 2015.
Katsuhiko Sano and Jonni Virtema, Axiomatizing Propositional Dependence Logics. Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, pp 292-307.
Jonni Virtema, Complexity of validity for propositional dependence logics. Proceedings of GandALF 2014.
Rohit Parikh and Jouko Väänänen, Finite information logic, Annals of Pure and Applied Logic vol. 134, 2005, 83-93.
Modal Logic:
2017:
Fan Yang, Modal Dependence Logics: Axiomatizations and Model-theoretic Properties, Logic Journal of the IGPL, Volume 25, Issue 5, 1 October 2017, pp. 773–805, 2017
2016:
Martin Lück, Axiomatizations for Propositional and Modal Team Logic, 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), pp 33:1-33:18
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor and Heribert Vollmer, Modal independence logic. Journal of Logic and Computation, June 2016.
Sano K and Virtema J, Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. Proceedings of the 23rd International Workshop on Logic, Language, Information and Computation, WoLLIC 2016. LNCS 9803, pp 392-409. Springer
2015:
Lauri Hella, Johanna Stumpf, The expressive power of modal logic with inclusion atoms, GandALF 2015: 129-143
Krebs A, Meier A, and Virtema J, A Team Based Variant of CTL, Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015), IEEE Conference Publications, pages 140-149. IEEE.
Lauri Hella, Antti Kuusisto, Arne Meier and Heribert Vollmer, Modal inclusion logic: being lax is simpler than being strict, In: Italiano G., Pighizzini G., Sannella D. (eds) Mathematical Foundations of Computer Science 2015. MFCS 2015. Lecture Notes in Computer Science, vol 9234. Springer, pp 281-292
Juha Kontinen, Julian-Steffen Müller, Henning Schnoor and Heribert Vollmer, A Van Benthem Theorem for Modal Team Semantics. 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), pp 277-291.
Katsuhiko Sano and Jonni Virtema, Characterizing Frame Definability in Team Semantics via The Universal Modality. Proceedings of the 22nd International Workshop on Logic, Language, Information and Computation, WoLLIC 2015. LNCS 9160, pp 140-155. Springer.
2014:
Lauri Hella, Kerkko Luosto, Katsuhiko Sano and Jonni Virtema, The expressive power of modal dependence logic. Proceedings of Advances in Modal Logic 10, AiML 2014, pp 294-312. College Publications.
2013:
Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema and Heribert Vollmer, Extended Modal Dependence Logic EMDL. Proceedings of the 20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013. LNCS 8071, pp 126-137. Springer.
Julian-Steffen Müller and Heribert Vollmer, Model Checking for Modal Dependence Logic: An Approach Through Post's Lattice. Model Checking for Modal Dependence Logic: An Approach through Post’s Lattice. In: Libkin L., Kohlenbach U., de Queiroz R. (eds) Logic, Language, Information, and Computation. WoLLIC 2013. Lecture Notes in Computer Science, vol 8071. Springer, pp 238-250.
Johannes Ebbing, Peter Lohmann and Fan Yang, Model Checking for Modal Intuitionistic Dependence Logic, Post-proceedings of the Ninth Tbilisi Symposium on Language, Logic and Computation, TbiLLC 2011, Lecture Notes in Computer Science Volume 7758, 2013, pp 231-256
before 2012:
Johannes Ebbing and Peter Lohmann, Complexity of Model Checking for Modal Dependence Logic. SOFSEM, 2012, 226-237.
Peter Lohmann, Heribert Vollmer (2010): Complexity Results for Modal Dependence Logic, In: Dawar A., Veith H. (eds) Computer Science Logic. CSL 2010. Lecture Notes in Computer Science, vol 6247. Springer, pp 411-425.
Merlijn Sevenster, Model-theoretic and Computational Properties of Modal Dependence Logic. Journal of Logic and Computation, 19(6), 1157-1173 (2009)
Jouko Väänänen, Modal dependence logic, in: New Perspectives on Games and Interaction, Krzysztof Apt, Robert van Rooij (eds.) Texts in Logic and Games, vol 5 Amsterdam University Press, 2008, 237-254.
Applications:
Database theory:
Miika Hannula, Juha Kontinen and Sebastian Link, On the Interaction of Inclusion Dependencies with Independence Atoms, Artificial Intelligence, and Reasoning - 21th International Conference, LPAR-20 2017, pp 212-226
Tapani Hyttinen and Gianluca Paolini, Reduction of Database Independence to Dividing in Atomless Boolean Algebras, Archive for Mathematical Logic 55 (2016), no. 3, 505-518
Miika Hannula, Juha Kontinen, Sebastian Link, On the finite and general implication problems of independence atoms and keys, Volume 82, Issue 5, August 2016, pp 856-877
Lauri Hella, Phokion G. Kolaitis, Dependence Logic vs. Constraint Satisfaction, CSL 2016: 14:1-14:17
Miika Hannula, Juha Kontinen and Sebastian Link, On Independence Atoms and Keys, ACM international conference on information and knowledge management, 2014, pp 1229-1238
Juha Kontinen, Sebastian Link and Jouko Väänänen, Independence in Database Relations. Proceedings of WoLLIC 2013. Springer Lecture Notes in Computer Science 8071, 179-193, 2013.
Logic and language:
Ivano Ciardelli, Rosalie Iemhoff and Fan Yang, Questions and Dependency in Intuitionistic Logic, preprint, 2017.
Ivano Ciardelli, Dependency as question entailment, in S. Abramsky, J. Kontinen, H. Vollmer and J. Väänänen, eds, Dependence Logic: Theory and Applications, Progress in Computer Science and Applied Logic, Birkhauser, June 2016, pp 129-181
Theo M. V. Janssen, Compositional Natural Language Semantics using Independence Friendly Logic or Dependence Logic, Studia Logica, April 2013, Volume 101, Issue 2, pp 453–466
Social choice theory:
Eric Pacuit and Fan Yang, Dependence and Independence in Social Choice: Arrow’s Theorem, in S. Abramsky, J. Kontinen, H. Vollmer and J. Väänänen, eds, Dependence Logic: Theory and Applications, Progress in Computer Science and Applied Logic, Birkhauser, June 2016, pp 235-260
Quantum foundations:
Tapani Hyttinen, Gianluca Paolini and Jouko Väänänen, A logic for arguing about probabilities in measure teams, Archiv for mathematical logic, August 2017, Vol 56, Issue 5-6, pp 475-489
Tapani Hyttinen, Gianluca Paolini and Jouko Väänänen, Quantum team logic and Bell's inequalities, Review of Symbolic Logic, Volume 81(1), 32 - 55, 2016.
Others:
Antti Kuusisto, First-order logic with incomplete information, preprint, 2017
Alexandru Baltag, To Know is to Know the Value of a Variable, Advances in Modal logic 11, College Publications, 2016, pp. 135-155
Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar and Jouko Väänänen, A Logical Approach to Context-Specific Independence, Logic, Language, Information, and Computation. WoLLIC 2016. Lecture Notes in Computer Science, vol 9803. Springer, pp 165-182
Gianluca Paolini and Jouko Väänänen, Dependence Logic in Pregeometries and omega-Stable Theories. Journal of Symbolic Logic Volume 81(1), 32-55, 2016.
Jouko Väänänen, Multiverse set theory and absolutely undecidable propositions, in: J. Kennedy (Ed.): Interpreting Gödel, Cambridge University Press, 2014, 180-208.
Jouko Väänänen, A comment on Samson Abramsky’s paper “Relational Databases and Bell’s Theorem”. In Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference, College Publications, London, 2013. pp 152-156
Jouko Väänänen, Breaking the atom with Samson. In: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Editors: Bob Coecke, Luke Ong, Prakash Panangaden, Lecture Notes in Computer Science, volume 7860, 2013, pp 327-335