Algebras of modal operators and partial correctness
scientific article; zbMATH DE number 5017464