North American Summer School in Logic Language and Information, June 2003
Algorithmic Verification for Epistemic Logic
lecture notes for course by Ron van der Meyden
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5
A version of the
MCK system
was available for the use of NASSLLI students.