No label defined (Q5039163)
From MaRDI portal
scientific article; zbMATH DE number 7599982
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7599982 |
Statements
12 October 2022
0 references
Glivenko's translation
0 references
modal logic
0 references
intermediate logic
0 references
finite height
0 references
pretransitive logic
0 references
local tabularity
0 references
local finiteness
0 references
top-heavy frame
0 references