The eliminability of the actuality operator in propositional modal logic
scientific article; zbMATH DE number 3490947