Some lectures on modal logic (1991)

by Anil Nerode
Venue:In Logic and Computation