A new proof of Sahlqvist's theorem on modal definability and completeness (Q4731170)
From MaRDI portal
scientific article; zbMATH DE number 4116499
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new proof of Sahlqvist's theorem on modal definability and completeness |
scientific article; zbMATH DE number 4116499 |
Statements
A new proof of Sahlqvist's theorem on modal definability and completeness (English)
0 references
1989
0 references
modal logic
0 references
canonical Kripke frame
0 references
