Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5 (Q5955621)
From MaRDI portal
scientific article; zbMATH DE number 1705611
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5 |
scientific article; zbMATH DE number 1705611 |
Statements
Analytic tableau systems and interpolation for the modal logics KB, KDB, K5, KD5 (English)
0 references
26 May 2002
0 references
modal logic
0 references
tableau systems
0 references
analytic superformula property
0 references
interpolation
0 references
