Peer-reviewed articles

    2018

  1. [preprint] Ferrarotti F, Van den Bussche J, and Virtema J
    Expressivity within second-order transitive-closure logic. Accepted to Computer Science Logic 2018.
  2. [preprint] Krebs A, Meier A, Virtema J, and Zimmermann M
    Team Semantics for the Specification and Verification of Hyperproperties. Accepted to the 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018.
  3. [preprint] Sano K and Virtema J
    Characterising Modal Definability of Team-Based Logics via the Universal Modality, Annals of Pure and Applied Logic, to appear.
  4. [paper, preprint] Durand A, Hannula M, Kontinen J, Meier A, and Virtema J
    Approximation and Dependence via Multiteam Semantics, Annals of Mathematics and Artificial Intelligence, to appear.
  5. [paper, preprint] Durand A, Hannula M, Kontinen J, Meier A, and Virtema J
    Probabilistic Team Semantics. Proceedings of the 10th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2018. LNCS 10833, Springer, pages 186-206.
  6. [paper, preprint] Hannula M, Kontinen J, Virtema J, and Vollmer H
    Complexity of Propositional Logics in Team Semantics, ACM Transactions on Computational Logic, Volume 19, Issue 1, January 2018.
  7. [paper, preprint] Hannula M, Kontinen J, and Virtema J
    Polyteam Semantics. Proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018. LNCS 10703, Springer, pages 190-210.

    2017

  8. [paper, preprint] 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, Springer, pages 103-125.
  9. [paper] Virtema J
    Complexity of validity for propositional dependence logics, Information and Computation, Volume 253, Part 2, 2017, Elsevier, pages 224-236.
  10. [paper, preprint] Hella L, Kuusisto A, Meier A, and Virtema J
    Model checking and validity in propositional and modal inclusion logics. Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017. LIPIcs Vol. 83, paper 32, pages 1-14.

    2016

  11. [paper] Hannula M, Lück M, Kontinen J, and Virtema J
    On quantified propositional logics and the exponential time hierarchy. Proceedings of the 7th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016. EPTCS 226, pages 198-212.
  12. [paper] 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.
  13. [paper, preprint] 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, Springer, pages 392-409.
  14. [paper, preprint] 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, Springer, pages 271-291.

    2015

  15. [paper, preprint] Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J, and Virtema J
    Weak models of distributed computing, with connections to modal logic, Distributed Computing, Volume 28, Issue 1, 2015, Springer, pages 31-53.
  16. [paper, preprint] 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.
  17. [paper] Sano K and Virtema J
    Axiomatizing Propositional Dependence Logics, Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, pages 292-307.
  18. [paper, preprint] Hannula M, Kontinen J, Virtema J, and Vollmer H.
    Complexity of Propositional Independence and Inclusion Logic, Proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015. LNCS 9234, Springer, pages 269-280.
  19. [paper, preprint] Sano K and Virtema J
    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, Springer, pages 140-155.

    2014

  20. [paper, preprint] Kontinen J, Kuusisto A, Lohmann P, and Virtema J
    Complexity of two-variable Dependence Logic and IF-Logic, Information and Computation, Volume 239, 2014, Elsevier, pages 237-253.
  21. [paper] Virtema J
    Complexity of validity for propositional dependence logics, Proceedings of the Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014. EPTCS 161, pages 18-31.
  22. [paper] Hella L, Luosto K, Sano K, and Virtema J
    The Expressive Power of Modal Dependence Logic, Proceedings of Advances in Modal Logic 10, AiML 2014, pages 294-312. College Publications.

    2013

  23. [paper] Kuusisto A, Meyers J, and Virtema J
    Undecidable First-Order Theories of Affine Geometries, Logical Methods in Computer Science 9:4:26, 2013, pages 1-23.
  24. [paper, preprint] Ebbing J, Hella L, Lohmann P, and Virtema J
    Boolean Dependence Logic and Partially-Ordered Connectives, Proceedings of the 20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013. LNCS 8071, Springer, pages 111-125.
  25. [paper] Ebbing J, Hella L, Meier A, Müller J, Virtema J, and Vollmer H.
    Extended Modal Dependence Logic EMDL, Proceedings of the 20th International Workshop on Logic, Language, Information and Computation, WoLLIC 2013. LNCS 8071, Springer, pages 126-137.

    2012

  26. [paper] Kuusisto A, Meyers J, and Virtema J
    Undecidable First-Order Theories of Affine Geometries, Proceedings of Computer Science Logic 2012, the 21st Annual Conference of the EACSL, CSL 2012, pages 470-484.
  27. [paper, preprint] Hella L, Järvisalo M, Kuusisto A, Laurinharju J, Lempiäinen T, Luosto K, Suomela J, and Virtema J
    Weak models of distributed computing, with connections to modal logic, Proceedings of the 31st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2012, ACM, pages 185-194.

    2011

  28. [paper, preprint] Kontinen J, Kuusisto A, Lohmann P, and Virtema J
    Complexity of two-variable Dependence Logic and IF-Logic, Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, IEEE, pages 289-298.

Thesis

  1. [thesis] Virtema J
    Approaches to Finite Variable Dependence - Expressiveness and Computational Complexity, PhD thesis, University of Tampere, 2014, 140 pages.
  2. [thesis] Virtema J
    μ-calculus - the bisimulation invariant fragment of monadic second order predicate logic, Master's thesis, University of Tampere, 2007, 46 pages.