Tools and techniques in modal logic (Q1297057)

This book is intended as an advanced course in (poly)modal logic. The emphasis is on the inner structure of modal logic seen as a theory and on the connections between such subdisciplines as completeness, correspondence, duality, and transfer theory. Algebraic techniques are heavily used throughout the book. In the first part of the book, the basic terminology and techniques of modal logic as completeness, possible-world frames, general frames, correspondence, canonical models, decidability, tableaux, normal forms, and modal consequence relations are outlined. In the second part, duality, correspondence, transfer, and lattice theory are discussed. In the third (last) part, selected issues, such as extensions of \textbf{K4}, logics of bounded alternativity, and dynamic logic, are presented.