Antti Kuusisto
Antti Kuusisto
Academy Research Fellow, University of Helsinki
Verified email at helsinki.fi - Homepage
Title
Cited by
Cited by
Year
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
492015
A double team semantics for generalized quantifiers
A Kuusisto
Journal of Logic, Language and Information 24 (2), 149-191, 2015
312015
Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics
C Feier, A Kuusisto, C Lutz
arXiv preprint arXiv:1701.02231, 2017
282017
Complexity of two-variable dependence logic and IF-logic
J Kontinen, A Kuusisto, P Lohmann, J Virtema
Information and Computation 239, 237-253, 2014
232014
Modal logic and distributed message passing automata
A Kuusisto
Computer Science Logic (CSL) 2013 23, 2013
202013
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
162015
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
162014
One-dimensional fragment of first-order logic
L Hella, A Kuusisto
Advances in Modal Logic, 2014, 2014
162014
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
142019
Infinite Networks, Halting and Local Algorithms
A Kuusisto
Fifth International Symposium on Games, Automata, Logics and Formal …, 2014
112014
A modal perspective on monadic second-order alternation hierarchies.
A Kuusisto
Advances in modal logic 7, 231-247, 2008
112008
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
102016
Decidability of predicate logics with team semantics
J Kontinen, A Kuusisto, J Virtema
arXiv preprint arXiv:1410.5037, 2014
92014
Game-theoretic semantics for ATL+ with applications to model checking
V Goranko, A Kuusisto, R Rönnholm
Information and Computation, 104554, 2020
82020
Weighted model counting beyond two-variable logic
A Kuusisto, C Lutz
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
82018
Logics for propositional determinacy and independence
V Goranko, A Kuusisto
arXiv preprint arXiv:1609.07398, 2016
82016
Some Turing-complete extensions of first-order logic
A Kuusisto
Fifth International Symposium on Games, Automata, Logics and Formal …, 2014
82014
Bounded game-theoretic semantics for modal mu-calculus
L Hella, A Kuusisto, R Rönnholm
arXiv preprint arXiv:1706.00753, 2017
72017
Uniform One-Dimensional Fragments with One Equivalence Relation
E Kierónski, A Kuusisto
Computer Science Logic (CSL) 2015 41, 2015
72015
Logics of imperfect information without identity
A Kuusisto
Dependence and Independence in Logic, 2011
72011
The system can't perform the operation now. Try again later.
Articles 1–20