A uniform tableau method for intuitionistic modal logics. I (Q1317899)
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: A uniform tableau method for intuitionistic modal logics. I |
scientific article; zbMATH DE number 536890
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A uniform tableau method for intuitionistic modal logics. I |
scientific article; zbMATH DE number 536890 |
Statements
A uniform tableau method for intuitionistic modal logics. I (English)
0 references
22 March 1994
0 references
The author presents tableau systems and sequent calculi for the intuitionistic analogues IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IKD5, IK45, IKD45 and IS5 of the normal classical modal logics. He provides soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. Fischer Servi, and shows the disjunction property for IK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IK45 and IS5.
0 references
Kripke-type model
0 references
intuitionistic modal logic
0 references
forcing relation
0 references
tableau systems
0 references
sequent calculi
0 references
disjunction property
0 references
0 references
0 references
