Labelled sequent calculi for Lewis' non-normal propositional modal logics (Q2243546)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Labelled sequent calculi for Lewis' non-normal propositional modal logics |
scientific article |
Statements
Labelled sequent calculi for Lewis' non-normal propositional modal logics (English)
0 references
11 November 2021
0 references
proof theory
0 references
non-normal modal logics
0 references
strict implication
0 references
