Antti Kuusisto

Aktiviteetit

Aktiviteetteja vuodessa 2006 2008 2009 2010 2012 2013 2013

• 24 Konferenssiesitelmä
• 3 Tieteellisen lehden refereenä toimiminen
• 2 Workshopin tai sessionin puheenjohtajana toimiminen
• 2 Maisteriopiskelijoiden ohjaaminen
• 2 Lisää
  • 1 Työpajan, paneelin, session tai tutoriaalin järjestäminen
  • 1 Kutsuttu esitelmä

Aktiviteetteja vuodessa

Hakutulokset

• Modal Logic and Distributed Message Passing Automata

  Kuusisto, A. (Speaker)

  3 syysk. 2013

  Aktiviteetti: Konferenssiesitelmä

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

  Kuusisto, A. (Speaker)

  19 huhtik. 2013

  Aktiviteetti: Konferenssiesitelmä

• Distributed computing and modal logic

  Kuusisto, A. (Speaker)

  21 syysk. 2012

  Aktiviteetti: Konferenssiesitelmä

• Undecidable first-order theories of affine geometries

  Kuusisto, A. (Speaker)

  3 syysk. 2012

  Aktiviteetti: Konferenssiesitelmä

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

  Kuusisto, A. (Speaker)

  12 heinäk. 2012

  Aktiviteetti: Konferenssiesitelmä

• Undecidable first-order theories of affine geometries

  Kuusisto, A. (Speaker)

  26 kesäk. 2012

  Aktiviteetti: Konferenssiesitelmä

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

  Kuusisto, A. (Speaker)

  17 kesäk. 2012

  Aktiviteetti: Konferenssiesitelmä

• Some Undecidable Systems of Formal Geometry

  Kuusisto, A. (Speaker)

  4 tammik. 2012

  Aktiviteetti: Konferenssiesitelmä

• On Formal Theories of Geometry

  Kuusisto, A. (Speaker)

  7 lokak. 2011

  Aktiviteetti: Konferenssiesitelmä

• IF logic without Identity

  Kuusisto, A. (Speaker)

  17 elok. 2010

  Aktiviteetti: Konferenssiesitelmä

• Logics of imperfect information without identity

  Kuusisto, A. (Speaker)

  17 elok. 2010

  Aktiviteetti: Konferenssiesitelmä

• Modal Logics and Definability

  Kuusisto, A. (Speaker)

  26 toukok. 2010

  Aktiviteetti: Konferenssiesitelmä

• On fragments of IF logic

  Kuusisto, A. (Speaker)

  7 toukok. 2010

  Aktiviteetti: Konferenssiesitelmä

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

  Kuusisto, A. (Contributor)

  7 lokak. 2009

  Aktiviteetti: Konferenssiesitelmä

• Modal Logic with Quantified Binary Relations

  Kuusisto, A. (Speaker)

  3 syysk. 2009

  Aktiviteetti: Konferenssiesitelmä

• Sigma-1-1 FO2

  Kuusisto, A. (Speaker)

  17 huhtik. 2009

  Aktiviteetti: Konferenssiesitelmä

• Similarity Relations and Modalisation

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

  20 helmik. 2009

  Aktiviteetti: Konferenssiesitelmä

• SOPML

  Kuusisto, A. (Speaker)

  8 tammik. 2009

  Aktiviteetti: Konferenssiesitelmä

• On Modal Fragments of SO

  Kuusisto, A. (Speaker)

  14 marrask. 2008

  Aktiviteetti: Konferenssiesitelmä

• A modal perspective on monadic second-order alternation hierarchies

  Kuusisto, A. (Speaker)

  9 syysk. 2008

  Aktiviteetti: Konferenssiesitelmä

• SOPML Alternation Hierarchy

  Kuusisto, A. (Speaker)

  23 toukok. 2008

  Aktiviteetti: Konferenssiesitelmä

• Second-Order Propositional Modal Logic

  Kuusisto, A. (Speaker)

  25 tammik. 2008

  Aktiviteetti: Konferenssiesitelmä

• Modal Definability of Functions on Modalities

  Kuusisto, A. (Speaker)

  11 toukok. 2007

  Aktiviteetti: Konferenssiesitelmä

• Multimodal Logics with Operations on Modalities

  Kuusisto, A. (Speaker)

  20 lokak. 2006

  Aktiviteetti: Konferenssiesitelmä