The second edition of an accessible yet technically sound treatment of modal logic and its philosophical applications.Modal logic uses mathematical methods to evaluate the correctness of reasoning involving the concepts of necessity, possibility, and related notions such as obligation, belief, and provability. These ideas are central to the often intricate reasoning found in philosophical argumentation, so a command of modal logic is especially valuable to philosophers. This book provides philosophers with an accessible yet technically sound treatment of modal logic and its philosophical applications. Its novel feature is the extensive use of diagrams to simplify the presentation of mathematical ideas. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. A number of technical results have also been clarified and streamlined.Modal logic uses mathematical methods to evaluate the correctness of reasoning involving the concepts of necessity, possibility, and related notions such as obligation, belief, and provability. These ideas are central to the often intricate reasoning found in philosophical argumentation, so a command of modal logic is especially valuable to philosophers. This book provides philosophers with an accessible yet technically sound treatment of modal logic and its philosophical applications. Its novel feature is the extensive use of diagrams to simplify the presentation of mathematical ideas. This second edition contains a new chapter on logics of conditionals, an updated and expanded bibliography, and is updated throughout. A number of technical results have also been clarified and streamlined.This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathlĐ