A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. …
