Modal Logic

• The most complete presentation of ideas and methods in mathematical modal logic containing both classical and new results
• This is an advanced textbook - it is self-contained, well illustrated with examples, and includes exercises and open problems

Readership: Mathematical and philosophical logicians, theoretical computer scientists at graduate and research level.

Alexander Chagrov, Professor of Mathematics, Tver State University, and Michael Zakharyaschev, Professor of Mathematics, Moscow State University, Russia

"This book presents a rich resource for modern mathematical modal logic, useful both as an advanced textbook and as a source for up-to-date results." - Zentralblatt fuer Mathematik 871/97

Introduction
1.: Classical logic
2.: Intuitionistic logic
3.: Modal logics
4.: From logics to classes of logics
5.: Canonical models and filtration
6.: Incompleteness
7.: Algebraic semantics
8.: Relational semantics
9.: Canonical formulas
10.: Kripke completeness
11.: The finite approximability
12.: Tabularity
13.: Post completeness
14.: Interpolation
15.: The disjunction property and Halldén completeness
16.: The decidability of logics
17.: Admissibility and drivability of inference rules
18.: The decidability of logics' properties
19.: Complexity problems
Reference
Index