Table of contents for Tools and techniques in modal logic / Marcus Kracht.
Bibliographic record and links to related information available from the Library of Congress catalog
Information from electronic data provided by the publisher. May be incomplete or contain other coding.
Chapter Headings only. About this Book. Overview. Part 1. The Fundamentals. Algebra, logic and deduction. Fundamentals of modal logic I. Fundamentals of modal logic II. Part 2. The General Theory of Modal Logic. Universal algebra and duality theory. Definability and correspondence. Reducing polymodal logic to monomodal logic. Lattices of modal logics. Part 3. Case Studies. Extensions of K4. Logics of bounded alternativity. Dynamic logic. Index. Bibliography.
Library of Congress subject headings for this publication: