Noncompact extensions of the logic S4
noncompact recursively axiomatizable extensions of S4
scientific article; zbMATH DE number 3641413