Abstract
In the paper [8], the first author developped a topos- theoretic approach to reference and modality. (See also [5]). This approach leads naturally to modal operators on locales (or ‘spaces without points”). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.
Similar content being viewed by others
References
M. Dummett,Elements of Intuitionism, Oxford Logic Guides, Clarendon Press, Oxford 1977.
P. Johnstone,Stone spaces,Cambridge Studies in Advanced Mathematics 3 (1982), Cambridge University Press, Cambridge, London, New York, New Rochelle, Melbourne, Sydney.
P. Johnstone,Open maps of toposes,Manuscripta Mathematica 31 (1980), pp. 217–247.
A. Joyal andM. Tierney An extension of the Galois theory of Grothendieck,Memoirs of the American Mathematical Society AMS 309 (1984), American Mathematical Society, Providence, Rhode Island.
R. Lavendhomme, Th. Lucas andG. E. Reyes,Formal systems for topos-theoretic modalities, Bull. Soc. math. Belgique (série A),XLI Fascicule 2 (1989).
Z. Pawlak,Rough sets International Journal of Information and Computer Science 11 (1982), pp. 145–172.
H. Rasiowa andR. Sikorski,The mathematics of metamathematics, Państwowe Wydawnictwo Naukowe, Warsaw 1963.
G.E. Reyes,A topos-theoretic approach to reference and modality,Notre Dame Journal of Formal Logic vol 32, no 3 (1991), pp. 359–391.
G.E. Reyes andZolfaghari,Bi-Heyting algebras, toposes and modalities, Rapports de recherche du Departement de mathématiques de l'Université de Montréal, DMS 91–9, to appear inJournal of Philosophical Logic.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Reyes, G.E., Zawadowski, M.W. Formal systems for modal operators on locales. Stud Logica 52, 595–613 (1993). https://doi.org/10.1007/BF01053262
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01053262