Michell Guzman, Salim Perchy, Camilo Rueda, Frank Valencia. Deriving Inverse Operators for Modal Logic. Augusto Sampaio and Farn Wang Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. Springer, 9965, pp.214-232, 2016, Theoretical As
HAL Archives-Ouvertes,
Michell Guzman, Salim Perchy, Camilo Rueda, Frank Valencia. Deriving Inverse Operators for Modal Logic.