Antti Kuusisto
Antti Kuusisto
Academy Research Fellow, University of Helsinki
Verified email at - Homepage
Cited by
Cited by
Weak models of distributed computing, with connections to modal logic
L Hella, M Järvisalo, A Kuusisto, J Laurinharju, T Lempiäinen, K Luosto, ...
Distributed Computing 28 (1), 31-53, 2015
Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics
C Feier, A Kuusisto, C Lutz
arXiv preprint arXiv:1701.02231, 2017
A double team semantics for generalized quantifiers
A Kuusisto
Journal of Logic, Language and Information 24 (2), 149-191, 2015
Complexity of two-variable dependence logic and IF-logic
J Kontinen, A Kuusisto, P Lohmann, J Virtema
Information and Computation 239, 237-253, 2014
Modal logic and distributed message passing automata
A Kuusisto
Computer Science Logic (CSL) 2013 23, 2013
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
One-dimensional fragment of first-order logic
L Hella, A Kuusisto
Advances in Modal Logic, 2014, 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
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
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
Infinite Networks, Halting and Local Algorithms
A Kuusisto
Fifth International Symposium on Games, Automata, Logics and Formal …, 2014
A modal perspective on monadic second-order alternation hierarchies.
A Kuusisto
Advances in modal logic 7, 231-247, 2008
Logics for propositional determinacy and independence
V Goranko, A Kuusisto
The Review of Symbolic Logic 11 (3), 470-506, 2018
Game-theoretic semantics for ATL+ with applications to model checking
V Goranko, A Kuusisto, R Rönnholm
arXiv preprint arXiv:1702.08405, 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
Decidability of predicate logics with team semantics
J Kontinen, A Kuusisto, J Virtema
arXiv preprint arXiv:1410.5037, 2014
Uniform One-Dimensional Fragments with One Equivalence Relation
E Kierónski, A Kuusisto
Computer Science Logic (CSL) 2015 41, 2015
Bounded game-theoretic semantics for modal mu-calculus
L Hella, A Kuusisto, R Rönnholm
arXiv preprint arXiv:1706.00753, 2017
On the uniform one-dimensional fragment
A Kuusisto
29th International Workshop on Description Logics, 2016
Second-order propositional modal logic and monadic alternation hierarchies
A Kuusisto
Annals of Pure and Applied Logic 166 (1), 1-28, 2015
The system can't perform the operation now. Try again later.
Articles 1–20