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 the normal view instead:
scientific article; zbMATH DE number 1117766
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
