Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (Q5213665)
From MaRDI portal
scientific article; zbMATH DE number 7162563
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantical Approach to Cut Elimination and Subformula Property in Modal Logic |
scientific article; zbMATH DE number 7162563 |
Statements
Semantical Approach to Cut Elimination and Subformula Property in Modal Logic (English)
0 references
4 February 2020
0 references
cut elimination
0 references
subformula property
0 references
finite model property
0 references
modal logics
0 references
embedding theorems
0 references
