Archive for July, 2009

07/21/2009 : Webdam Workshop on Modal Logic

July 17th, 2009
Comments Off

When : Tuesday July 21th
Where : Ecole Normale Superieure, Cachan, LSV Library
Agenda :

  • Petrucio Viana (from Rio de Janeiro): algebras of binary relations and graph calculi
  • Gaelle Fontaine (from Amsterdam): a characterization of the continuous fragment of the mu-calculus and/or an easy completeness proof for the mu-calculus on finite trees.
  • Balder Ten Cate : on modal definability and universal Horn conditions.

Events ,