Antti Kuusisto :)

Department of Mathematics and Statistics - University of Tampere 
I fiddle about with modal logic and finite model theory. (No mythomatics there.) I am a member of the University of Tampere Logic Group.
I also participate in the ESF project Logic for Interaction (LINT).

Some More or Less Recent Activity


  • Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations (with prof. Lauri Hella, Methods for Modalities 2009,
    will appear in a volume of Electronic Notes in Theoretical Computer Science.    )
  • A modal perspective on monadic second-order alternation hierarchies (Advances in Modal Logic 2008)
  • Deduction Systems for Multimodal Logics with Operations on Modalities

    Some presentations etc.:

  • [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 Mod. Log. 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


    Fall 2008:

    TA on "     Topologia", a lecture course on topology of metric spaces.

    Spring 2008:

    TA on " Joukko-oppi", a lecture course on ZFC.

    Fall 2006:

    TA on "Laskettavuuden teoria", a lecture course on the theory of recursive functions.

    Other


    Quantum Ratchets and Quantum Chaos with Cold Atoms, Department of Physics and Astronomy, University College London.
    (A thesis in theoretical physics)

    Calculation of Dispersion Relations in Jet Engine Turbine Fibres, Department of Physics and Astronomy, University College London.
    (A short project)