Deriving Inverse Operators for Modal Logic.

Michell Guzmn, Salim Perchy, Camilo Rueda, Frank D. Valencia

Browse the full ICTAC paper archive.