Functional translation and second-order frame properties of modal logics (Q4365320)
From MaRDI portal
scientific article; zbMATH DE number 1082967
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Functional translation and second-order frame properties of modal logics |
scientific article; zbMATH DE number 1082967 |
Statements
Functional translation and second-order frame properties of modal logics (English)
0 references
25 November 2001
0 references
