Modal companions of intermediate propositional logics
This paper is a survey of results concerning embeddings of intuitionistic propositional logic and its extensions to various classical modal systems.
scientific article; zbMATH DE number 63833
scientific article