Antti Kuusisto

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

Some More or Less Recent Activity

Papers:

  • 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.
  • Undecidable first-order theories of affine geometries (with Jeremy Meyers and Jonni Virtema.) Submitted. (A short presentation in LICS 2012 will be given.)
  • Expressivity of imperfect information logics without identity. To appear in Studia Logica.
  • 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 prof. Lauri Hella,
    Electronic Notes in Theoretical Computer Science, Vol 262.    )
  • Modal Logics and Definability (Digest of TISE Seminar 2010)
  • A modal perspective on monadic second-order alternation hierarchies (Advances in Modal Logic 2008)
  • Deduction systems for multimodal logics with operations on modalities

    Some talks etc.:

  • [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


  • "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)