Weak models of distributed computing, with connections to modal logic L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ... Proceedings of the 2012 ACM Symposium on Principles of distributed computing …, 2012 | 69 | 2012 |
A double team semantics for generalized quantifiers A Kuusisto Journal of Logic, Language and Information 24 (2), 149-191, 2015 | 40 | 2015 |
Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics C Feier, A Kuusisto, C Lutz arXiv preprint arXiv:1701.02231, 2017 | 36 | 2017 |
Weighted model counting beyond two-variable logic A Kuusisto, C Lutz Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 29 | 2018 |
One-dimensional fragment of first-order logic L Hella, A Kuusisto Advances in Modal Logic, 2014, 2014 | 27 | 2014 |
Modal logic and distributed message passing automata A Kuusisto Computer Science Logic (CSL) 2013 23, 2013 | 27 | 2013 |
Complexity of two-variable dependence logic and IF-logic J Kontinen, A Kuusisto, P Lohmann, J Virtema Information and Computation 239, 237-253, 2014 | 25 | 2014 |
Complexity and expressivity of uniform one-dimensional fragment with equality E Kieroński, A Kuusisto International Symposium on Mathematical Foundations of Computer Science, 365-376, 2014 | 24 | 2014 |
Model checking and validity in propositional and modal inclusion logics L Hella, A Kuusisto, A Meier, J Virtema Journal of Logic and Computation 29 (5), 605-630, 2019 | 22 | 2019 |
Game-Theoretic Semantics for Alternating-Time Temporal Logic V Goranko, A Kuusisto, R Rönnholm Proceedings of the 2016 International Conference on Autonomous Agents …, 2016 | 22 | 2016 |
Game-theoretic semantics for ATL+ with applications to model checking V Goranko, A Kuusisto, R Rönnholm arXiv preprint arXiv:1702.08405, 2017 | 17* | 2017 |
Modal inclusion logic: Being lax is simpler than being strict L Hella, A Kuusisto, A Meier, H Vollmer International Symposium on Mathematical Foundations of Computer Science, 281-292, 2015 | 16 | 2015 |
Some Turing-complete extensions of first-order logic A Kuusisto Fifth International Symposium on Games, Automata, Logics and Formal …, 2014 | 16 | 2014 |
Logics for propositional determinacy and independence V Goranko, A Kuusisto The Review of Symbolic Logic 11 (3), 470-506, 2018 | 15 | 2018 |
Bounded game-theoretic semantics for modal mu-calculus L Hella, A Kuusisto, R Rönnholm arXiv preprint arXiv:1706.00753, 2017 | 14* | 2017 |
On the uniform one-dimensional fragment A Kuusisto 29th International Workshop on Description Logics, 2016 | 14 | 2016 |
Uniform One-Dimensional Fragments with One Equivalence Relation E Kierónski, A Kuusisto Computer Science Logic (CSL) 2015 41, 2015 | 14 | 2015 |
Decidability of predicate logics with team semantics J Kontinen, A Kuusisto, J Virtema arXiv preprint arXiv:1410.5037, 2014 | 14 | 2014 |
A modal perspective on monadic second-order alternation hierarchies. A Kuusisto Advances in modal logic 7, 231-247, 2008 | 13 | 2008 |
Infinite Networks, Halting and Local Algorithms A Kuusisto Fifth International Symposium on Games, Automata, Logics and Formal …, 2014 | 12 | 2014 |