Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676)
From MaRDI portal
scientific article; zbMATH DE number 7162573
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics |
scientific article; zbMATH DE number 7162573 |
Statements
Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (English)
0 references
4 February 2020
0 references
labelled sequent calculus
0 references
modal logic
0 references
intermediate logic
0 references
Gödel-Mckinsey-Tarski embedding
0 references
cut elimination
0 references
completeness
0 references
Kripke semantics
0 references
strict implication
0 references
0 references
