Formal systems for modal operators on locales

Reyes G. E. and M. W. Zawadowski (1993). Formal systems for modal operators on
locales. Studia Logica. Vol.52, 595-613.

Attribution-NonCommercial-NoDerivs 2.5
This work is licensed under a Attribution-NonCommercial-NoDerivs 2.5.