Section: Proof Theory of Modal Logics | Non-classical Logics ALG500014 | DL 1

DL 1

Section outline

Overview of various forms of sequent calculi for modal logics: display calculi, nested sequents calculi, and ordinary sequents calculi. A more detailed look at the Display calculi for modal logics.
- Select activity Survey of display calculi
  
  Survey of display calculi File
- Select activity Comparing Modal Sequent Systems
  
  Comparing Modal Sequent Systems File
- Select activity Proof theory for modal logic
  
  Proof theory for modal logic File
- Select activity SEQUENT SYSTEMS FOR MODAL LOGICS
  
  SEQUENT SYSTEMS FOR MODAL LOGICS File
- Select activity Nested Sequents
  
  Nested Sequents File