Modal sequents for normal modal logics (Q4304135)
From MaRDI portal
scientific article; zbMATH DE number 635996
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal sequents for normal modal logics |
scientific article; zbMATH DE number 635996 |
Statements
Modal sequents for normal modal logics (English)
0 references
8 September 1994
0 references
sequent calculi for normal modal logics
0 references
cut-elimination theorem
0 references
completeness
0 references
