Subformula property for some modal logics
scientific article; zbMATH DE number 7854708