Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3 (Q5126197)
From MaRDI portal
scientific article; zbMATH DE number 7261559
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3 |
scientific article; zbMATH DE number 7261559 |
Statements
Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3 (English)
0 references
15 October 2020
0 references
modal logic
0 references
analytic cut
0 references
subformula property
0 references
finite model property
0 references
