The Open Logic Text — accessible offline edition

Normal Modal Logics

Chapters

  1. Syntax and Semantics
  2. Frame Definability
  3. Axiomatic Derivation
  4. Completeness and Canonical Models
  5. Filtrations and Decidability
  6. Modal Tableau
  7. Modal Sequent Calculus