Jonni Virtema

Complexity of Propositional Logics in Team Semantic

Miika Hannula, Juha Kontinen, Jonni Virtema et al. · ACM Transactions on Computational Logic · 2018 · 26 citations

Engineering, Verification, Validity Problems +19

Complexity of validity for propositional dependence logics

Jonni Virtema · Information and Computation · 2016 · 24 citations

Non-classical Logic, Engineering, Automated Reasoning +6

The Expressive Power of Modal Dependence Logic

Lauri Hella, Kerkko Luosto, Katsuhiko Sano et al. · arXiv (Cornell University) · 2014 · 22 citations · Full text

Non-classical Logic, Expressive Power, Engineering +11

Weak models of distributed computing, with connections to modal logic

Lauri Hella, Matti J„ärvisalo, Antti Kuusisto et al. · 2012 · 13 citations · Full text

Cluster Computing, Engineering, Distributed Algorithms +19

On Quantified Propositional Logics and the Exponential Time Hierarchy

Miika Hannula, Juha Kontinen, Martin Lück et al. · Electronic Proceedings in Theoretical Computer Science · 2016 · 12 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +11