Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barr, M. and R. Paré (1980), Molecular Toposes, J. Pure and Applied Algebra 17, 127–152.
Ghilardi, S. and G.C. Meloni (1988), Modal and tense predicate logic: models in presheaves and categorical conceptualization, in Categorical Algebra and its Applications (Proceedings, Louvain-La-Neuve 1987), edited by F. Borceux, Lecture Notes in Mathematics 1348, Springer-Verlag.
Hughes, G.E. and M.J. Cresswell (1968/1989), An Introduction to Modal Logic, Routledge, London, New York.
Johnstone, P.T. (1977), Topos theory, Academic Press, London, New York, San Francisco.
Johnstone, P.T. (1980), Open maps of toposes, Manuscripta Mathematica 31, 217–247.
Joyal, A. and M. Tierney (1984), An extension of the Galois theory of Grothendieck, Memoirs AMS 309, American Mathematical Society, Providence, Rhode Island.
Lavendhomme, R., Lucas, Th. and G.E. Reyes (1989), Formal systems for topos-theoretic modalities, Bull. Soc. math. Belgique (Série A), XLI Fascicule 2.
Lawvere, F.W. (1986), Categories of spaces may not be generalized spaces as examplified by directed graphs, Rev. Colombiana Mat. 20.
Reyes, G.E. (), A topos-theoretic approach to reference and modality, to appear in Notre Dame Journal of Formal Logic.
Author information
Authors and Affiliations
Editor information
Additional information
Dedicated to Max Kelly on the occasion of his 60th birthday.
Rights and permissions
Copyright information
© 1991 Springer-Verlag
About this paper
Cite this paper
Reyes, G.E., Zolfaghari, H. (1991). Topos-theoretic approaches to modality. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds) Category Theory. Lecture Notes in Mathematics, vol 1488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0084231
Download citation
DOI: https://doi.org/10.1007/BFb0084231
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54706-8
Online ISBN: 978-3-540-46435-8
eBook Packages: Springer Book Archive