# Antti Kuusisto

email:
kuusisto [ ... ] uni-bremen.de

I am a research assistant currently working at
University of Bremen.
For the academic year 2014-2015 I worked in Stockholm University and
Technical University of Denmark.
From August 2013 until July 2014 I had a position in the
University of Wroclaw
with EU funding from the European
Research Consortium for Informatics and Mathematics (ERCIM).

Research interests:
Decidability and complexity of fragments of first-order logic
Model theory of modal logic and finite model theory
Distributed automata
Team semantics and variants of dependence logic

## Papers

Some of the links are to a preprint version of the (published or at least accepted) paper.

**
Most recent:
Model counting beyond two-variable logic.
With Carsten Lutz, to appear in
LICS 2018
**
Logics for propositional determinacy and independence.
With Valentin Goranko, * Review of Symbolic Logic.*
Game-theoretic semantics for alternating-time temporal logic.
With Valentin Goranko and Raine Ronnholm,
to appear in the ToCL journal.
One-dimensional logic over trees.
With Emanuel Kieronski,
* Mathematical Foundations of CS* (MFCS) 2017.
Rewritability in monadic disjunctive datalog, MMSNP, and expressive description logics.
With Cristina Feier and Carsten Lutz, ICDT 2017.
Game-theoretic semantics for ATL+ with applications to model checking.
With Valentin Goranko and Raine Ronnholm,
* Proceedings of the 2017 International
Conference on Autonomous Agents and Multiagent Systems* (AAMAS), 2017.
Model checking and validity in propositional and modal inclusion logics.
With Lauri Hella, Arne Meier and Jonni Virtema,
* Mathematical Foundations of CS* (MFCS) 2017.
Rational communication with no coordination or conventions.
With Valentin Goranko and Raine Ronnholm,
*Logic and Rational Interaction* (LORI) 2017.
Emptiness Problems for Distributed Automata.
With Fabian Reiter, to appear in
*International Symposium on Games, Automata, Logics and
Formal Verification* 2017.
CTL with finitely bounded semantics.
With Valentin Goranko and Raine Ronnholm,
to appear in TIME 2017.
Game-theoretic semantics for alternating-time temporal logic.
With Valentin Goranko and Raine Ronnholm,
* Proceedings of the 2016 International
Conference on Autonomous Agents and Multiagent Systems* (AAMAS), 2016.
On the uniform one-dimensional fragment.
* Proc. of Description Logics* (DL) 2016.
Decidability of Predicate Logics with Team Semantics.
With Juha Kontinen and Jonni Virtema,
* Mathematical Foundations of Computer Science* (MFCS) 2016.
Existential second-order logic and modal logic with
quantified accessibility relations.
*Information and Computation*, 2016.
Complexity and expressivity of uniform one-dimensional fragments with one
equivalence relation. With Emanuel Kieronski. CSL 2015.
Modal inclusion logic: being lax is simpler than being strict.
With Lauri Hella, Heribert Vollmer and Arne Meier.
MFCS 2015.
Second-order propositional modal logic and monadic alternation hierarchies.
*Annals of Pure and Applied Logic,* 2015.
Infinite networks, halting and local algorithms.
Accepted for publication in *Journal of Logic and Computation.*

Here
is the conference version of the paper.
A double team semantics for generalized quantifiers.
*Journal of Logic, Language and Information, 2015.*
Team Semantics and Recursive Enumerability.
SOFSEM 2015, proceedings vol. II.
Weak models of distributed computing, with connections to modal logic.
With Lauri Hella, Matti Jarvisalo, Juhana Laurinharju,
Tuomo Lempiainen, Kerkko Luosto, Jukka Suomela and Jonni Virtema. Journal version,
*Distributed Computing, 2015.*
Two sets of slides on this topic below.
Complexity of two-variable dependence
logic and IF-logic
With Juha Kontinen, Peter Lohmann and Jonni Virtema.
Journal version, *Information and Computation,* 2014.
Some Turing-Complete Extensions of First-Order Logic.
GandALF 2014.
Infinite networks, halting and local algorithms.
GandALF 2014.
Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality.
With Emanuel Kieronski,
MFCS 2014.
One dimensional fragment of first-order logic
,
With Lauri Hella, AiML 2014.
Undecidable first-order theories of affine geometries. With Jeremy Meyers and Jonni Virtema.
Journal version, *LMCS, 2013.*

A set of slides on this topic below. See also the CSL 2012 version of this article below.

Modal logic and distributed message passing automata.
CSL 2013.

Expressivity of imperfect information logics without identity.
*Studia Logica, 2013*

Undecidable first-order theories of affine geometries. With Jeremy Meyers and Jonni Virtema,
CSL 2012.

Weak models of distributed computing, with connections to modal logic.
With Lauri Hella, Matti Jarvisalo, Juhana Laurinharju,
Tuomo Lempiainen, Kerkko Luosto, Jukka Suomela and Jonni Virtema. PODC 2012.

Complexity of two-variable dependence
logic and IF-logic.
With Juha Kontinen, Peter Lohmann and Jonni Virtema.
LICS 2011.
Logics of imperfect information without identity
*Dependence and
Independence in Logic, ESSLLI 2010.*
Monadic Sigma-1-1 and modal logic with quantified binary relations.
With Lauri Hella.
*Electronic Notes in Theoretical Computer Science, 2010.*
A modal perspective on monadic second-order alternation hierarchies. AiML 2008.

A set of slides on this topic below.

Deduction systems for multimodal logics
with operations on modalities

### Selected presentations:

[11/06/2018]: *Weighted model counting beyond two-variable logic.*
LICS 2018, Oxford, UK.
[22/04/2016]: *On the uniform one-dimensional fragment.*
Description Logics DL' 2016, Capetown, South Africa.
[07/03/2016]: *Turing-complete extensions of first-order logic.*
Millican Colloquium, University of North Texas.
[05/08/2015]: *Propositional logics of dependence and
relativised knowledge.*
CLMPS, Helsinki.
[20/02/2015]: *Computability, natural language and canonical logics.*
CLLAM Seminar, Stockholm University, Sweden.
[17/12/2014]: *Uniform one-dimensional fragment of first-order logic.*
University of Tampere, Finland.
[26/11/2014]: *Uniform one-dimensional fragment of first-order logic.*
Stockholm University, Sweden.
[12/09/2014]: *Infinite networks, halting and local algorithms.*
GandALF 2014, Verona, Italy.
[11/09/2014]: *Some Turing-complete extensions of first-order logic.*
GandALF 2014, Verona, Italy.
[28/08/2014]: *Complexity and expressivity of uniform one-dimensional fragment
with equality,*
MFCS 2014, Budapest, Hungary.
[25/08/2014]: *Some Turing-complete extensions of first-order logic,*
Scandinavian logic symposium, Tampere, Finland.
[08/08/2014]: *One-dimensional fragment of first-order logic,*
AiML 2014, Groningen, the Netherlands.slides
[03/07/2014]: *Descriptive complexity theory of distributed computing,*
INRIA/IRISA, University of Rennes 1, Rennes, France.
[11/06/2014]: *Complexity of uniform one-dimensional fragment with equality,*
Faculty of Mathematics, Informatics and Mechanics, University of Warsaw, Poland.
[21/05/2014]: *Generalized operators, team semantics and game-theoretic semantics,*
University of Helsinki, Finland.
[03/03/2014]: *Generalized atoms and quantifiers,*
Academy Deplog Colloquium, Amsterdam, Netherlands.
slides
[17/10/2013]: *Descriptive Complexity Theory of Distributed Computing,*
Opole University, Poland.
[03/09/2013]: *Modal logic and distributed message passing automata,*
CSL 2013, Torino. slides
[19/04/2013]: *Strong systems of modal logic, with connections to distributed computing,*
FMT research seminar, University of Helsinki.
[31/01/2013]: *Second-Order Logic and Definability,*
invited talk at the 85th Workshop on General
Algebra (AAA85), Luxembourg.
[21/09/2012]: *
Distributed computing and modal logic*, Finite Model Theory research seminar,
University of Tampere.
[03/09/2012]: *Undecidable first-order theories of affine geometries*, CSL 2012, Fontainebleau, France.
[17/07/2012]: *Weak Models of distributed computing, with connections to modal logic,*
PODC 2012, Madeira. slides here
[12/07/2012]: *Weak Models of distributed computing, with connections to modal logic,*
HIIT seminar, Helsinki.
[26/06/2012]: *Undecidable first-order theories of affine geometries,*
LICS 2012, Dubrovnik, Croatia.
[04/01/2012]: *Some undecidable systems of formal geometry,*
Finnish Math Days 2012.
[07/10/2011]: *On formal theories of geometry,*
FMT Research Seminar, University of Helsinki.
[17/08/2010]: *Logics of imperfect information without identity*,
Workshop on Dependence and Independence in Logic,
ESSLLI 2010, Copenhagen.
[26/05/2010]:
*
Modal logics and definability*, TISE Seminar.
[07/05/2010]: *On fragments of IF logic*, Finite Model Theory Research Seminar, University of Tampere.
[12/11/2009]: *Monadic Sigma-1-1 and modal logic with quantified binary relations*,
M4M-6 2009, Copenhagen.
[07/10/2009]: *Monadic Sigma-1-1 and modal logic with quantified binary relations*,
poster, 'LogICCC meets China' Day,
Southwest University, Chongqing, China.
[03/09/2009]: *Modal logic with quantified binary relations*, Finite Model Theory Research Seminar, University of Tampere.
[17/04/2009]: *\Sigma^1_1(FO^2)*, Finite Model Theory Research Seminar, University of Tampere.
[20/02/2009]:
*Similarity relations and modalisation*,
the First LogCon Workshop of LINT,
February 2009, Tampere, Finland.
[08/01/2009]: *SOPML*, Meeting of MALJA,
University of Helsinki.
[14/11/2008]: * On modal fragments of SO*, Finite Model Theory Research Seminar, University of Tampere.
[09/09/2008]: *A Modal perspective on MSO alternation hierarchies*,
AiML 2008,
9-12 September 2008, LORIA,
Nancy, France. slides
[23/05/2008]:
*SOPML alternation hierarchy*, Finite Model Theory Research Seminar,
University of Helsinki.
[25/01/2008]:
*Second-order propositional modal logic*, Finite Model Theory Research Seminar,
University of Helsinki.

## Teaching

Some more or less recent courses:

Algebra 1 (Fall 2012).
I made
these
lecture notes for the course. (The notes begin with some topics in
elementary number theory.)
"Analyysi 3"
a lecture course on vector analysis (Spring 2012).
I made
these
lecture notes for the course.
"Muodolliset kielet",
a lecture course on formal languages (Spring 2011 and Spring 2012).
slides_1
slides_2
slides_3
slides_4
"Logiikka 1B",
a lecture course on elementary logic (Fall 2010 and Fall 2011).
"Usean muuttujan integraalilaskenta",
a lecture course on integral calculus of several variables (Spring 2013).
"Usean muuttujan differentaalilaskenta",
a lecture course on differential calculus of several variables (Spring 2013).
TA on
"Topologia",
a lecture course on topology of metric spaces.
TA on
"
Joukko-oppi",
a lecture course on ZFC.
TA on
"Laskettavuuden teoria",
a lecture course on the theory of
recursive functions.

## Other work

Modal Fragments of Second-Order Logic

(Ph.D. thesis in mathematics)

*Quantum Ratchets and Quantum Chaos with Cold Atoms*,
Department of Physics and Astronomy, University College London.

(theoretical physics M.Sci. project)

*Calculation of Dispersion Relations in Jet Engine Turbine Fibres*,
Department of Physics and Astronomy, University College London.

(a short project)