Reyes G. E. and M. W. Zawadowski (1993). Formal systems for modal operators on
locales. Studia Logica. Vol.52, 595-613.
From mathematics to literature. – Des mathématiques à la littérature.
Reyes G. E. and M. W. Zawadowski (1993). Formal systems for modal operators on
locales. Studia Logica. Vol.52, 595-613.