Antti Kuusisto

Activities

Activities per year 2006 2008 2009 2010 2012 2013 2013

• 24 Conference presentation
• 3 Reviewer of Scientific Journal
• 2 Chair of workshop, panel, session or tutorial
• 2 Supervisor of master student
• 2 More
  • 1 Organization of a workshop, panel, session or tutorial
  • 1 Invited lecture

Activities per year

Search results

• Modal Logic and Distributed Message Passing Automata

  Kuusisto, A. (Speaker)

  3 Sept 2013

  Activity: Talk or presentation › Conference presentation

• Strong systems of modal logic, with connections to distributed computing

  Kuusisto, A. (Speaker)

  19 Apr 2013

  Activity: Talk or presentation › Conference presentation

• Distributed computing and modal logic

  Kuusisto, A. (Speaker)

  21 Sept 2012

  Activity: Talk or presentation › Conference presentation

• Undecidable first-order theories of affine geometries

  Kuusisto, A. (Speaker)

  3 Sept 2012

  Activity: Talk or presentation › Conference presentation

• Weak Models of Distributed Computing, with Connections to Modal Logic

  Kuusisto, A. (Speaker)

  12 Jul 2012

  Activity: Talk or presentation › Conference presentation

• Undecidable first-order theories of affine geometries

  Kuusisto, A. (Speaker)

  26 Jun 2012

  Activity: Talk or presentation › Conference presentation

• Weak Models of distributed computing, with connections to modal logic

  Kuusisto, A. (Speaker)

  17 Jun 2012

  Activity: Talk or presentation › Conference presentation

• Some Undecidable Systems of Formal Geometry

  Kuusisto, A. (Speaker)

  4 Jan 2012

  Activity: Talk or presentation › Conference presentation

• On Formal Theories of Geometry

  Kuusisto, A. (Speaker)

  7 Oct 2011

  Activity: Talk or presentation › Conference presentation

• IF logic without Identity

  Kuusisto, A. (Speaker)

  17 Aug 2010

  Activity: Talk or presentation › Conference presentation

• Logics of imperfect information without identity

  Kuusisto, A. (Speaker)

  17 Aug 2010

  Activity: Talk or presentation › Conference presentation

• Modal Logics and Definability

  Kuusisto, A. (Speaker)

  26 May 2010

  Activity: Talk or presentation › Conference presentation

• On fragments of IF logic

  Kuusisto, A. (Speaker)

  7 May 2010

  Activity: Talk or presentation › Conference presentation

• Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

  Kuusisto, A. (Contributor)

  7 Oct 2009

  Activity: Talk or presentation › Conference presentation

• Modal Logic with Quantified Binary Relations

  Kuusisto, A. (Speaker)

  3 Sept 2009

  Activity: Talk or presentation › Conference presentation

• Sigma-1-1 FO2

  Kuusisto, A. (Speaker)

  17 Apr 2009

  Activity: Talk or presentation › Conference presentation

• Similarity Relations and Modalisation

  Kuusisto, A. (Speaker) & Virtema, J. (Speaker)

  20 Feb 2009

  Activity: Talk or presentation › Conference presentation

• SOPML

  Kuusisto, A. (Speaker)

  8 Jan 2009

  Activity: Talk or presentation › Conference presentation

• On Modal Fragments of SO

  Kuusisto, A. (Speaker)

  14 Nov 2008

  Activity: Talk or presentation › Conference presentation

• A modal perspective on monadic second-order alternation hierarchies

  Kuusisto, A. (Speaker)

  9 Sept 2008

  Activity: Talk or presentation › Conference presentation

• SOPML Alternation Hierarchy

  Kuusisto, A. (Speaker)

  23 May 2008

  Activity: Talk or presentation › Conference presentation

• Second-Order Propositional Modal Logic

  Kuusisto, A. (Speaker)

  25 Jan 2008

  Activity: Talk or presentation › Conference presentation

• Modal Definability of Functions on Modalities

  Kuusisto, A. (Speaker)

  11 May 2007

  Activity: Talk or presentation › Conference presentation

• Multimodal Logics with Operations on Modalities

  Kuusisto, A. (Speaker)

  20 Oct 2006

  Activity: Talk or presentation › Conference presentation