Dynamic Logics

This website contains the material of the graduate course 'Dynamic Logics' (first semester 2019) at FAMAF-UNC, Argentina.


Lecturers:

  • Carlos Areces (FAMAF-UNC & CONICET, Argentina)
  • Raul Fervari (FAMAF-UNC & CONICET, Argentina)
  • Fernando R. Velázquez-Quesada (ILLC, UvA, The Netherlands)