Publication:5039163
From MaRDI portal
Publication date: 12 October 2022
Full work available at URL: https://arxiv.org/abs/1806.06899
modal logic; local finiteness; intermediate logic; finite height; local tabularity; pretransitive logic; Glivenko's translation; top-heavy frame
03-XX: Mathematical logic and foundations