Table of Contents

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

Reviews

`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