A new S4 classical modal logic in natural deduction (Q3410675)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new S4 classical modal logic in natural deduction |
scientific article |
Statements
A new S4 classical modal logic in natural deduction (English)
0 references
29 November 2006
0 references
S4 modal logic
0 references
natural deduction
0 references
normalization
0 references