Antti Kuusisto

Available identifiers

zbMath Open kuusisto.anttiMaRDI QIDQ259070

List of research outcomes

Publication	Date of Publication	Type
The optimal way to play the most difficult repeated two-player coordination games	2023-12-11	Paper
CTL with finitely bounded semantics	2023-02-03	Paper
A monotone connection between model class size and description length	2023-01-31	Paper
Bounded game-theoretic semantics for modal mu-calculus	2022-12-08	Paper
Relating description complexity to entropy	2022-09-26	Paper
One-dimensional fragment over words and trees	2022-09-22	Paper
First-order logic with self-reference	2022-07-15	Paper
The power of clockings	2022-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5021004	2022-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q3384173	2021-12-14	Paper
Gradual Guaranteed Coordination in Repeated Win-Lose Coordination Games.	2021-07-06	Paper
Some Turing-Complete Extensions of First-Order Logic	2021-06-24	Paper
https://portal.mardi4nfdi.de/entity/Q4995366	2021-06-24	Paper
Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking	2021-02-08	Paper
Weighted model counting beyond two-variable logic	2021-01-20	Paper
Rational coordination with no communication or conventions	2020-12-15	Paper
Game-theoretic semantics and partial specifications	2020-10-08	Paper
Emptiness problems for distributed automata	2020-05-26	Paper
Model Checking and Validity in Propositional and Modal Inclusion Logics	2020-05-26	Paper
One-Dimensional Logic over Trees	2020-05-26	Paper
Algebraic classifications for fragments of first-order logic and beyond	2020-05-03	Paper
Optimal protocols for the most difficult repeated coordination games	2020-04-15	Paper
Model checking and validity in propositional and modal inclusion logics	2020-02-03	Paper
Satisfiability of Modal Inclusion Logic	2019-11-22	Paper
Alternating-time temporal logic ATL with finitely bounded semantics	2019-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q5377468	2019-05-24	Paper
Uniform One-Dimensional Fragment over Ordered Structures	2018-12-20	Paper
LOGICS FOR PROPOSITIONAL DETERMINACY AND INDEPENDENCE	2018-10-25	Paper
Game-Theoretic Semantics for Alternating-Time Temporal Logic	2018-10-24	Paper
Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).	2018-07-18	Paper
One-dimensional fragment of first-order logic	2018-04-23	Paper
Decidability of predicate logics with team semantics	2018-03-21	Paper
Rational coordination with no communication or conventions	2017-11-22	Paper
Uniform One-Dimensional Fragments with One Equivalence Relation	2017-08-31	Paper
Bounded game-theoretic semantics for modal mu-calculus	2017-06-02	Paper
First-order logic with incomplete information	2017-03-09	Paper
Modal Logic and Distributed Message Passing Automata	2017-02-02	Paper
Logics for Propositional Determinacy and Independence	2016-09-23	Paper
Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations	2016-08-05	Paper
A double team semantics for generalized quantifiers	2016-07-05	Paper
On the uniform one-dimensional fragment	2016-04-06	Paper
Existential second-order logic and modal logic with quantified accessibility relations	2016-03-10	Paper
Modal Inclusion Logic: Being Lax is Simpler than Being Strict	2015-09-16	Paper
Weak models of distributed computing, with connections to modal logic	2015-03-25	Paper
Weak models of distributed computing, with connections to modal logic	2014-12-05	Paper
Complexity of two-variable dependence logic and IF-logic	2014-11-28	Paper
Second-order propositional modal logic and monadic alternation hierarchies	2014-10-27	Paper
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality	2014-10-14	Paper
Team Semantics and Recursive Enumerability	2014-08-18	Paper
Undecidable First-Order Theories of Affine Geometries	2014-01-08	Paper
Expressivity of imperfect information logics without identity	2013-06-13	Paper
Undecidable First-Order Theories of Affine Geometries	2012-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q3085169	2011-03-30	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antti Kuusisto