"Designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus."--Jacket.