14:00 - 15:00 Mikhail Zakharyaschev:
Two etudes on modal logic in computer science .
Slides.
15:15 - 16:15 Dexter Kozen: Kleene Algebra with Tests and Kleene
Coalgebra with Tests:
A Unifying Theme for Partial Correctness and Program Schematology
17:00 - 17:30 Dmitry Tishkovsky: A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments .
Slides .
Paper