Venema Yde

Presentations in Math-Net.Ru

1. Uniform interpolation for monotone modal logic
   Santocanale Luigi, Yde Venema
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 26, 2010 11:50   
2. Coalgebraic Lindström theorems
   Alexander Kurz, Yde Venema
   The eighth International сonference "Advances in Modal Logic" (AiML 2010)
   August 25, 2010 15:35