Designed for use by philosophy students, this book provides an accessible, yet technically sound treatment of modal logic and its …