Antti Kuusisto

Identifiers

• name variant Antti Kuusisto 0.60 · backfill

Papers (23)

1. Model Comparison Games for Generalized Quantifiers math.LO · 2026 · author #1
2. Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization cs.LO · 2026 · author #3
3. Neural networks as fuzzy logic formulas cs.LO · 2026 · author #2
4. Graph Learning via Logic-Based Weisfeiler-Leman Variants and Tabularization cs.LG · 2025 · author #3
5. Uniform One-Dimensional Fragment over Ordered Structures math.LO · 2018 · author #2
6. Weighted model counting beyond two-variable logic cs.LO · 2018 · author #1
7. Emptiness Problems for Distributed Automata cs.FL · 2017 · author #1
8. First-order logic with incomplete information math.LO · 2017 · author #1
9. Game-Theoretic Semantics for ATL+ with Applications to Model Checking math.LO · 2017 · author #2
10. Logics for Propositional Determinacy and Independence math.LO · 2016 · author #2
11. Model Checking and Validity in Propositional and Modal Inclusion Logics cs.LO · 2016 · author #2
12. Game-Theoretic Semantics for Alternating-Time Temporal Logic math.LO · 2016 · author #2
13. Satisfiability of Modal Inclusion Logic: Lax and Strict Semantics cs.LO · 2015 · author #2
14. Decidability of predicate logics with team semantics cs.LO · 2014 · author #2
15. Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality math.LO · 2014 · author #2
16. Infinite Networks, Halting and Local Algorithms cs.DC · 2014 · author #1
17. Team Semantics and Recursive Enumerability math.LO · 2014 · author #1
18. Some Turing-Complete Extensions of First-Order Logic math.LO · 2014 · author #1
19. One-dimensional fragment of first-order logic math.LO · 2014 · author #2
20. A Double Team Semantics for Generalized Quantifiers math.LO · 2013 · author #1
21. Undecidable First-Order Theories of Affine Geometries math.LO · 2012 · author #1
22. Weak Models of Distributed Computing, with Connections to Modal Logic cs.DC · 2012 · author #3
23. Complexity of two-variable Dependence Logic and IF-Logic cs.LO · 2011 · author #2

Mentions

• 2508.10651 #3 · arxiv_oai · confidence 0.70 Antti Kuusisto
• 1208.4930 #1 · backfill · confidence 0.70 Antti Kuusisto
• 1205.2051 #3 · backfill · confidence 0.70 Antti Kuusisto
• 2605.21170 #1 · arxiv_oai · confidence 0.70 Antti Kuusisto
• 1104.3148 #2 · backfill · confidence 0.70 Antti Kuusisto

Frequent Coauthors

• Jonni Virtema 5 shared papers
• Lauri Hella 4 shared papers
• Matias Selin 3 shared papers
• Valentin Goranko 3 shared papers
• Arne Meier 2 shared papers
• Damian Heiman 2 shared papers
• Juha Kontinen 2 shared papers
• Miguel Moreno 2 shared papers
• Raine R\"onnholm 2 shared papers
• Carsten Lutz 1 shared papers
• Emanuel Kiero\'nski 1 shared papers
• Esko Turunen 1 shared papers
• Fabian Reiter 1 shared papers
• Heribert Vollmer 1 shared papers
• Jeremy Meyers 1 shared papers
• Jonne Iso-Tuisku 1 shared papers
• Juhana Laurinharju 1 shared papers
• Jukka Suomela 1 shared papers
• Kerkko Luosto 1 shared papers
• Magdalena Ortiz 1 shared papers