Text this: Algebras of modal operators and partial correctness