Antti Kuusisto

Mathematics in the School of Information Sciences - University of Tampere 
My recent research interests have mainly concentrated on modal logic and finite model theory. I am a member of the University of Tampere Logic Group.

Some More or Less Recent Activity

Papers:

  • Modal logic and distributed message passing automata. Submitted.
  • Expressivity of imperfect information logics without identity. Studia Logica 2(101), 2013.
  • Weak models of distributed computing, with connections to modal logic (with Lauri Hella, Matti Järvisalo, Juhana Laurinharju,
    Tuomo Lempiäinen, Kerkko Luosto, Jukka Suomela and Jonni Virtema    ), journal version, submitted.
    Two sets of slides on this topic below.
  • Undecidable first-order theories of affine geometries (with Jeremy Meyers and Jonni Virtema), journal version, submitted Feb 2013.
    A set of slides on this topic below. See also the CSL 2012 version of this article below.
  • Weak models of distributed computing, with connections to modal logic (with Lauri Hella, Matti Järvisalo, Juhana Laurinharju,
    Tuomo Lempiäinen, 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),
    journal version, submitted.
  • Undecidable first-order theories of affine geometries (with Jeremy Meyers and Jonni Virtema), CSL 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 Proc. of Workshop on 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, Vol 262, 2010.
  • Modal Logics and Definability, Digest of TISE Seminar 2010.
  • A modal perspective on monadic second-order alternation hierarchies Advances in Modal Logic 2008.
    A set of slides on this topic below.
  • Deduction systems for multimodal logics with operations on modalities

    Some talks etc.:

  • [19/04/2013]: Strong systems of modal logic, with connections to distributed computing, FMT research seminar, University of Helsinki.
  • Feb 2013, invited talk: Second-Order Logic and Definability, 85th Workshop on General Algebra (AAA85), Luxembourg.
  • [21/09/2012]: Distributed computing and modal logic, Finite Model Theory research seminar, University of Tampere. slides
  • [3/09/2012]: Undecidable first-order theories of affine geometries, CSL 2012, Fontainebleau, France. slides
  • [17/06/12]: Weak Models of distributed computing, with connections to modal logic, PODC 2012, Madeira. slides
  • [26/06/12]: Undecidable first-order theories of affine geometries, LICS 2012, Dubrovnik, Croatia.
  • [04/01/12]: Some undecidable systems of formal geometry, Finnish Math Days 2012.
  • [7/10/11]: On formal theories of geometry, FMT Research Seminar, University of Helsinki.
  • [17/08/10]: Logics of imperfect information without identity, Workshop on Dependence and Independence in Logic,
    ESSLLI 2010, Copenhagen.
  • [26/05/10]: Modal logics and definability, TISE Seminar.
  • [07/05/10]: On fragments of IF logic, Finite Model Theory Research Seminar, University of Tampere.
  • [12/11/09]: Monadic Sigma-1-1 and modal logic with quantified binary relations, M4M-6 2009, Copenhagen.
  • [07/10/09]: Monadic Sigma-1-1 and modal logic with quantified binary relations, poster, 'LogICCC meets China' Day,
    Southwest University, Chongqing, China.
  • [03/09/09]: Modal logic with quantified binary relations, Finite Model Theory Research Seminar, University of Tampere.
  • [17/04/09]: \Sigma^1_1(FO^2), Finite Model Theory Research Seminar, University of Tampere.
  • [20/02/09]: Similarity relations and modalisation, the First LogCon Workshop of LINT, February 2009, Tampere, Finland.
  • [08/01/09]: SOPML, Meeting of MALJA, University of Helsinki.
  • [14/11/08]: On modal fragments of SO, Finite Model Theory Research Seminar, University of Tampere.
  • [09/09/08]: A Modal perspective on MSO alternation hierarchies, AiML 2008, 9-12 September 2008, LORIA, Nancy, France. slides
  • [23/05/08]: SOPML alternation hierarchy, Finite Model Theory Research Seminar, University of Helsinki.
  • [25/01/08]: Second-order propositional modal logic, Finite Model Theory Research Seminar, University of Helsinki.
  • [11/05/07]: Modal definability of functions on modalities, Finite Model Theory Research Seminar, University of Tampere.
  • [20/10/06]: Multimodal logics with operations on modalities, Finite Model Theory Research Seminar, University of Tampere.

    Teaching


  • "Usean muuttujan integraalilaskenta", a lecture course on integral calculus of several variables.
  • "Usean muuttujan differentaalilaskenta", a lecture course on differential calculus of several variables.
  • Algebra 1
  • "Analyysi 3", a lecture course on vector analysis.
  • "Muodolliset kielet", a lecture course on formal languages.
  • "Logiikka 1B", a lecture course on elementary logic.
  • 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)