Obserwuj
Antti Kuusisto
Antti Kuusisto
Academy Research Fellow, Tampere University
Zweryfikowany adres z tuni.fi - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
692012
A double team semantics for generalized quantifiers
A Kuusisto
Journal of Logic, Language and Information 24 (2), 149-191, 2015
402015
Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics
C Feier, A Kuusisto, C Lutz
arXiv preprint arXiv:1701.02231, 2017
362017
Weighted model counting beyond two-variable logic
A Kuusisto, C Lutz
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
292018
One-dimensional fragment of first-order logic
L Hella, A Kuusisto
Advances in Modal Logic, 2014, 2014
272014
Modal logic and distributed message passing automata
A Kuusisto
Computer Science Logic (CSL) 2013 23, 2013
272013
Complexity of two-variable dependence logic and IF-logic
J Kontinen, A Kuusisto, P Lohmann, J Virtema
Information and Computation 239, 237-253, 2014
252014
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
242014
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
222019
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
222016
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
162015
Some Turing-complete extensions of first-order logic
A Kuusisto
Fifth International Symposium on Games, Automata, Logics and Formal …, 2014
162014
Logics for propositional determinacy and independence
V Goranko, A Kuusisto
The Review of Symbolic Logic 11 (3), 470-506, 2018
152018
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
142016
Uniform One-Dimensional Fragments with One Equivalence Relation
E Kierónski, A Kuusisto
Computer Science Logic (CSL) 2015 41, 2015
142015
Decidability of predicate logics with team semantics
J Kontinen, A Kuusisto, J Virtema
arXiv preprint arXiv:1410.5037, 2014
142014
A modal perspective on monadic second-order alternation hierarchies.
A Kuusisto
Advances in modal logic 7, 231-247, 2008
132008
Infinite Networks, Halting and Local Algorithms
A Kuusisto
Fifth International Symposium on Games, Automata, Logics and Formal …, 2014
122014
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20