A unified semantics for a family of modal logics with propositional constants
scientific article; zbMATH DE number 6562647