Nested sequent calculi for normal conditional logics (Q2804318)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Nested sequent calculi for normal conditional logics |
scientific article |
Statements
Nested sequent calculi for normal conditional logics (English)
0 references
28 April 2016
0 references
conditional logics
0 references
nonclassical logics
0 references
nonmonotonic reasoning
0 references
proof methods
0 references
sequent calculi
0 references
