Tools and Techniques in Modal Logic

Treats modal logic as a theory, with several subtheories, such as completeness theory, correspondence theory, duality theory and transfer theory. This book is intended as a course in modal logic for students who have had prior contact with modal logic and who wish to study it more deeply.