Tree-sequent calculi and decision procedures for intuitionistic modal logics (Q4612431)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Tree-sequent calculi and decision procedures for intuitionistic modal logics |
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
0 references
0.9135159
0 references
0.91297114
0 references
0.91110826
0 references
0.90877485
0 references
0.9086687
0 references
