Tree-sequent calculi and decision procedures for intuitionistic modal logics (Q4612431)
From MaRDI portal
scientific article; zbMATH DE number 7009545
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tree-sequent calculi and decision procedures for intuitionistic modal logics |
scientific article; zbMATH DE number 7009545 |
Statements
Tree-sequent calculi and decision procedures for intuitionistic modal logics (English)
0 references
31 January 2019
0 references
proof theory
0 references
intuitionistic modal logics
0 references
sequent calculus
0 references
decidability
0 references
