Glivenko type theorems for intuitionistic modal logics (Q5939999)
From MaRDI portal
scientific article; zbMATH DE number 1623764
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Glivenko type theorems for intuitionistic modal logics |
scientific article; zbMATH DE number 1623764 |
Statements
Glivenko type theorems for intuitionistic modal logics (English)
0 references
2001
0 references
