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

• Second-Order Logic and Definability

  Kuusisto, A. (Keynote speaker)

  31 Jan 2013

  Activity: Talk or presentation › Invited lecture

• 85th Workshop on General Algebra (AAA85)

  Kuusisto, A. (Chair)

  31 Jan 2013 → 2 Feb 2013

  Activity: Participating in or organising an event › Chair of workshop, panel, session or tutorial

• Logica Universalis (Journal)

  Kuusisto, A. (Reviewer)

  2013

  Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal

• Synthese (Journal)

  Kuusisto, A. (Reviewer)

  2013

  Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal

• 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

• Workshop on Logical Constants at ESSLLI

  Kuusisto, A. (Chair)

  7 Aug 2011 → 12 Aug 2011

  Activity: Participating in or organising an event › Chair of workshop, panel, session or tutorial

• 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

• Theoria (Journal)

  Kuusisto, A. (Reviewer)

  2010

  Activity: Publication peer-review and editorial work › Reviewer of Scientific Journal

• 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

• The First LogCon Workshop of LINT

  Kuusisto, A. (Organiser)

  19 Feb 2009 → 21 Feb 2009

  Activity: Participating in or organising an event › Organization of a workshop, panel, session or tutorial

• 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

• Opinnäytetöiden ohjaus, Pro gradu -tutkielma: Hybridilogiikka

  Kuusisto, A. (Examiner)

  2008 → …

  Activity: Evaluation, examination and supervision › Supervisor of master student

• Modal Definability of Functions on Modalities

  Kuusisto, A. (Speaker)

  11 May 2007

  Activity: Talk or presentation › Conference presentation

• Opinnäytetöiden ohjaus, Pro gradu -tutkielma: µ-kalkyyli - monadisen toisen kertaluvun predikaattilogiikan bisimilaarisesti invariantti fragmentti

  Kuusisto, A. (Examiner)

  2007 → …

  Activity: Evaluation, examination and supervision › Supervisor of master student

• Multimodal Logics with Operations on Modalities

  Kuusisto, A. (Speaker)

  20 Oct 2006

  Activity: Talk or presentation › Conference presentation