Jonni Virtema

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 58

Top Topics

Complete Axiomatization

Inclusion Dependencies

Propositional Logic

Top Venues

Publications

Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer
Graph Neural Networks and Arithmetic Circuits. CoRR (2024)
Fausto Barbero, Jonni Virtema
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. CSL (2024)
Juha Kontinen, Max Sandström, Jonni Virtema
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. FoIKS (2024)
Juha Kontinen, Max Sandström, Jonni Virtema
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL. CoRR (2024)
Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. AAAI (2024)
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. FoIKS (2024)
Nina Pardal, Jonni Virtema
A fine-grained framework for database repairs. CoRR (2023)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA (2023)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. KR (2023)
Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema
Logics with probabilistic team semantics and the Boolean negation. CoRR (2023)
Juha Kontinen, Max Sandström, Jonni Virtema
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. MFCS (2023)
Juha Kontinen, Max Sandström, Jonni Virtema
Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity. CoRR (2023)
Fausto Barbero, Jonni Virtema
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. JELIA (2023)
Yasir Mahmood, Jonni Virtema, Timon Barlag, Axel-Cyrille Ngonga Ngomo
Computing Repairs Under Functional and Inclusion Dependencies via Argumentation. CoRR (2023)
Teemu Hankala, Miika Hannula, Juha Kontinen, Jonni Virtema
Complexity of Neural Network Training and ETR: Extensions with Effectively Continuous Functions. CoRR (2023)
Yasir Mahmood, Jonni Virtema
Parameterized Complexity of Propositional Inclusion and Independence Logic. WoLLIC (2023)
Timon Barlag, Miika Hannula, Juha Kontinen, Nina Pardal, Jonni Virtema
Unified Foundations of Team Semantics via Semirings. CoRR (2023)
Fausto Barbero, Jonni Virtema
Expressivity Landscape for Logics with Probabilistic Interventionist Counterfactuals. CoRR (2023)
Fausto Barbero, Jonni Virtema
Strongly complete axiomatization for a logic with probabilistic interventionist counterfactuals. CoRR (2023)
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
Temporal Team Semantics Revisited. LICS (2022)
Miika Hannula, Jonni Virtema
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. Ann. Pure Appl. Log. 173 (10) (2022)
Miika Hannula, Jonni Virtema
Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals. JELIA (2021)
Yasir Mahmood, Jonni Virtema
Parameterised Complexity of Propositional Logic in Team Semantics. CoRR (2021)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CSL (2021)
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
Descriptive complexity of deterministic polylogarithmic time and space. J. Comput. Syst. Sci. 119 (2021)
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. FSTTCS (2021)
Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema
Temporal Team Semantics Revisited. CoRR (2021)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic. CoRR (2020)
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic. LICS (2020)
Miika Hannula, Juha Kontinen, Jan Van den Bussche, Jonni Virtema
Descriptive complexity of real computation and probabilistic independence logic. CoRR (2020)
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. CoRR (2020)
Miika Hannula, Jonni Virtema
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals. CoRR (2020)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam semantics. J. Log. Comput. 30 (8) (2020)
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
Model checking and validity in propositional and modal inclusion logics. J. Log. Comput. 29 (5) (2019)
Katsuhiko Sano, Jonni Virtema
Characterising modal definability of team-based logics via the universal modality. Ann. Pure Appl. Log. 170 (9) (2019)
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
Descriptive Complexity of Deterministic Polylogarithmic Time. CoRR (2019)
Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema
Descriptive Complexity of Deterministic Polylogarithmic Time. WoLLIC (2019)
Dimitri Surinx, Jan Van den Bussche, Jonni Virtema
Fully Generic Queries: Open Problems and Some Partial Answers. MEDI (2019)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
Facets of Distribution Identities in Probabilistic Team Semantics. JELIA (2019)
Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
Expressivity within second-order transitive-closure logic. CoRR (2018)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam Semantics. LFCS (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Probabilistic team semantics. CoRR (2018)
Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema
Expressivity Within Second-Order Transitive-Closure Logic. CSL (2018)
Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov, Jonni Virtema
Facets of Distribution Identities in Probabilistic Team Semantics. CoRR (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Probabilistic Team Semantics. FoIKS (2018)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and dependence via multiteam semantics. Ann. Math. Artif. Intell. 83 (3-4) (2018)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Logics in Team Semantic. ACM Trans. Comput. Log. 19 (1) (2018)
Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann
Team Semantics for the Specification and Verification of Hyperproperties. MFCS (2018)
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean dependence logic and partially-ordered connectives. J. Comput. Syst. Sci. 88 (2017)
Miika Hannula, Juha Kontinen, Jonni Virtema
Polyteam Semantics. CoRR (2017)
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
Model Checking and Validity in Propositional and Modal Inclusion Logics. MFCS (2017)
Jonni Virtema
Complexity of validity for propositional dependence logics. Inf. Comput. 253 (2017)
Andreas Krebs, Arne Meier, Jonni Virtema, Martin Zimmermann
Team Semantics for the Specification and Verification of Hyperproperties. CoRR (2017)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and Dependence via Multiteam Semantics. FoIKS (2016)
Miika Hannula, Juha Kontinen, Martin Lück, Jonni Virtema
On Quantified Propositional Logics and the Exponential Time Hierarchy. GandALF (2016)
Juha Kontinen, Antti Kuusisto, Jonni Virtema
Decidability of Predicate Logics with Team Semantics. MFCS (2016)
Katsuhiko Sano, Jonni Virtema
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. WoLLIC (2016)
Lauri Hella, Antti Kuusisto, Arne Meier, Jonni Virtema
Model Checking and Validity in Propositional and Modal Inclusion Logics. CoRR (2016)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak models of distributed computing, with connections to modal logic. Distributed Comput. 28 (1) (2015)
Katsuhiko Sano, Jonni Virtema
Characterizing Frame Definability in Team Semantics via the Universal Modality. WoLLIC (2015)
Arnaud Durand, Miika Hannula, Juha Kontinen, Arne Meier, Jonni Virtema
Approximation and Dependence via Multiteam Semantics. CoRR (2015)
Andreas Krebs, Arne Meier, Jonni Virtema
Parallel Computational Tree Logic. CoRR (2015)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Independence and Inclusion Logic. CoRR (2015)
Katsuhiko Sano, Jonni Virtema
Characterising Modal Definability of Team-Based Logics via the Universal Modality. CoRR (2015)
Katsuhiko Sano, Jonni Virtema
Axiomatizing Propositional Dependence Logics. CSL (2015)
Miika Hannula, Juha Kontinen, Jonni Virtema, Heribert Vollmer
Complexity of Propositional Independence and Inclusion Logic. MFCS (1) (2015)
Andreas Krebs, Arne Meier, Jonni Virtema
A Team Based Variant of CTL. TIME (2015)
Jonni Virtema
Complexity of validity for propositional dependence logics. GandALF (2014)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of two-variable dependence logic and IF-logic. Inf. Comput. 239 (2014)
Juha Kontinen, Antti Kuusisto, Jonni Virtema
Decidable Fragments of Logics Based on Team Semantics. CoRR (2014)
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean Dependence Logic and Partially-Ordered Connectives. CoRR (2014)
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
The Expressive Power of Modal Dependence Logic. Advances in Modal Logic (2014)
Lauri Hella, Kerkko Luosto, Katsuhiko Sano, Jonni Virtema
The Expressive Power of Modal Dependence Logic. CoRR (2014)
Katsuhiko Sano, Jonni Virtema
Axiomatizing Propositional Dependence Logics. CoRR (2014)
Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer
Extended Modal Dependence Logic. WoLLIC (2013)
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Undecidable First-Order Theories of Affine Geometries. Log. Methods Comput. Sci. 9 (4) (2013)
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean Dependence Logic and Partially-Ordered Connectives. WoLLIC (2013)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak Models of Distributed Computing, with Connections to Modal Logic CoRR (2012)
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Undecidable First-Order Theories of Affine Geometries CoRR (2012)
Lauri Hella, Matti Järvisalo, Antti Kuusisto, Juhana Laurinharju, Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela, Jonni Virtema
Weak models of distributed computing, with connections to modal logic. PODC (2012)
Antti Kuusisto, Jeremy Meyers, Jonni Virtema
Undecidable First-Order Theories of Affine Geometries. CSL (2012)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of Two-Variable Dependence Logic and IF-Logic. LICS (2011)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of two-variable Dependence Logic and IF-Logic CoRR (2011)