No label defined (Q4189257)
From MaRDI portal
scientific article; zbMATH DE number 3627138
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 3627138 |
Statements
1977
0 references
S4
0 references
S5
0 references
Intuitionistic Model Logic
0 references
Kripke Model
0 references
Finite Model Property
0 references
Completeness
0 references
Intuitionistic Propositional Logic
0 references
