@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 2024/12/25}}}