Folgen
Antti Kuusisto
Antti Kuusisto
Academy Research Fellow, University of Helsinki
Bestätigte E-Mail-Adresse bei helsinki.fi - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
612015
A double team semantics for generalized quantifiers
A Kuusisto
Journal of Logic, Language and Information 24 (2), 149-191, 2015
362015
Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics
C Feier, A Kuusisto, C Lutz
arXiv preprint arXiv:1701.02231, 2017
31*2017
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
212013
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
202014
One-dimensional fragment of first-order logic
L Hella, A Kuusisto
Advances in Modal Logic, 2014, 2014
202014
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
182015
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
172019
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
152016
Weighted model counting beyond two-variable logic
A Kuusisto, C Lutz
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
142018
Decidability of predicate logics with team semantics
J Kontinen, A Kuusisto, J Virtema
arXiv preprint arXiv:1410.5037, 2014
132014
A modal perspective on monadic second-order alternation hierarchies.
A Kuusisto
Advances in modal logic 7, 231-247, 2008
132008
Game-theoretic semantics for ATL+ with applications to model checking
V Goranko, A Kuusisto, R Rönnholm
arXiv preprint arXiv:1702.08405, 2017
12*2017
Infinite Networks, Halting and Local Algorithms
A Kuusisto
Fifth International Symposium on Games, Automata, Logics and Formal …, 2014
122014
Logics for propositional determinacy and independence
V Goranko, A Kuusisto
The Review of Symbolic Logic 11 (3), 470-506, 2018
112018
Uniform One-Dimensional Fragments with One Equivalence Relation
E Kierónski, A Kuusisto
Computer Science Logic (CSL) 2015 41, 2015
102015
Some Turing-complete extensions of first-order logic
A Kuusisto
Fifth International Symposium on Games, Automata, Logics and Formal …, 2014
102014
Second-order propositional modal logic and monadic alternation hierarchies
A Kuusisto
Annals of Pure and Applied Logic 166 (1), 1-28, 2015
92015
Bounded game-theoretic semantics for modal mu-calculus
L Hella, A Kuusisto, R Rönnholm
Information and Computation, 104882, 2022
82022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20