@inproceedings{inproceedings, title = {{Algebras of modal operators and partial correctness}}, url = {{}}, year = {{2006}}, month = {{2}}, author = {{Moller B and Struth G}}, doi = {{10.1016/j.tcs.2005.09.069}}, volume = {{351}}, journal = {{THEORETICAL COMPUTER SCIENCE}}, issue = {{2}}, pages = {{221-239}}, note = {{Accessed on 2025/06/19}}}