Algebras of modal operators and partial correctness - Möller, Bernhard; Struth, Georg (Theoretical Computer Science, 2006)