No label defined (Q4694215)
From MaRDI portal
scientific article; zbMATH DE number 218502
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 218502 |
Statements
29 June 1993
0 references
algebraic semantics
0 references
Kripke-type semantics
0 references
Heyting-valued structure
0 references
topo-Boolean-valued structure
0 references
presheaf
0 references
topological semantics
0 references
Kripke frame with equality
0 references
Kripke bundle
0 references
Kripke sheaf
0 references
Barcan formula
0 references
predicate modal logics
0 references
predicate superintuitionistic logics
0 references
normal modal logics
0 references
