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

DL 1

Titulní stránka Podpora uživatelů

Osnova sekce

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.
- Vybrat aktivitu Survey of display calculi
  
  Survey of display calculi Soubor
- Vybrat aktivitu Comparing Modal Sequent Systems
  
  Comparing Modal Sequent Systems Soubor
- Vybrat aktivitu Proof theory for modal logic
  
  Proof theory for modal logic Soubor
- Vybrat aktivitu SEQUENT SYSTEMS FOR MODAL LOGICS
  
  SEQUENT SYSTEMS FOR MODAL LOGICS Soubor
- Vybrat aktivitu Nested Sequents
  
  Nested Sequents Soubor