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