Completeness of monad-based dynamic logic (2006)

by T Mossakowski, L Schröder, S Goncharov