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


A version of the MCK system was available for the use of NASSLLI students.