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)