Cut-free tableau calculi for some intuitionistic modal logics (Q1378426)
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: Cut-free tableau calculi for some intuitionistic modal logics |
scientific article; zbMATH DE number 1117766
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut-free tableau calculi for some intuitionistic modal logics |
scientific article; zbMATH DE number 1117766 |
Statements
Cut-free tableau calculi for some intuitionistic modal logics (English)
0 references
14 September 1998
0 references
Kripke-style cut-free calculi (explicitly reflecting the structure of possible worlds) are presented for intuitionistic analogues of the modal systems K, D, T.
0 references
intuitionistic modal logic
0 references
cut-free calculi
0 references
possible worlds
0 references
