Modal and tense predicate logic: Models in presheaves and categorical conceptualization

C. Berta, G. C. Meloni, Dottrine con Comprensione e Logiche Libere, in “R. Ferro and A. Zanardo (eds.), Atti degli Incontri di Logica Matematica, vol. 3,” Scuola di Specializzazione in Logica Matematica, Siena 1987, 177–185.
Google Scholar
J. W. Garson, Quantification in Modal Logic, in “D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. II,” Reidel, Dordrecht 1984, 249–308.
Chapter Google Scholar
S. Ghilardi, G. C. Meloni, Un approccio concettuale alla logica proposizionale cartesiana e distributiva, in “C. Mangione (ed.), Scienza e filosofia. Saggi in onore di Ludovico Geymonat,” Garzanti, Milano 1985, 446–467.
Google Scholar
S. Ghilardi, G. C. Meloni, Un approccio categoriale alla logica predicativa modale e lineare distributiva, to appear in “Atti degli incontri di Logica Matematica, X incontro, Siena, Maggio 1987”.
Google Scholar
S. Ghilardi, G. C. Meloni, Semantic Analysis of Distributive Linear Logic, Preprint.
Google Scholar
J. Hintikka, Existential Presuppositions and Uniqueness Presuppositions, in “K. Lambert (ed.), Philosophical Problems in Logic,” Reidel, Dordrecht 1970, 20–55.
Chapter Google Scholar
G. E. Hughes, M. J. Cressell, “An Introduction to Modal Logic,” Methuen, London 1968.
Google Scholar
S. Kripke, Semantical Considerations in Modal Logic, Acta Philosophica Fennica 16 (1963), 83–94.
MathSciNet MATH Google Scholar
F. W. Lawvere, Equality in Hyperdoctrines and Comprehension Schema as an Adjoint Functor, in “A. Heller (ed.), Applications of Categorical Algebra,” Proc. of Symp. in Pure Math., XVII, 1970, 1–14.
Google Scholar
F. W. Lawvere, Introduction to Part I, in “F. W. Lawvere, C. Maurer and G. C. Wraith (eds.), Model Theory and Topoi,” LNM 445, Springer 1975, 3–14.
Google Scholar
F. W. Lawvere, Introduction, in “F. W. Lawvere and S. H. Schanuel (eds.), Categories in continuum Physics,” LNM 1174, Springer 1986, 1–16.
Google Scholar
A. N. Prior, “Past, Present and Future,” Clarendon Press, Oxford 1967.
Book MATH Google Scholar
R. C. Stalnaker, R. H. Thomason, Abstraction in First-Order Modal Logic, Theoria 14, 3, 1968, 203–207.
MathSciNet Google Scholar

Download references

Author information

Authors and Affiliations

Dipartimento di Matematica, Università degli Studi, via Cesare Saldini, 50, 20133, Milano, Italy
S. Ghilardi & G. C. Meloni

Authors

S. Ghilardi
View author publications
You can also search for this author in PubMed Google Scholar
G. C. Meloni
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Francis Borceux

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Ghilardi, S., Meloni, G.C. (1988). Modal and tense predicate logic: Models in presheaves and categorical conceptualization. In: Borceux, F. (eds) Categorical Algebra and its Applications. Lecture Notes in Mathematics, vol 1348. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0081355

Download citation

DOI: https://doi.org/10.1007/BFb0081355
Published: 22 September 2006
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50362-0
Online ISBN: 978-3-540-45985-9
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Modal and tense predicate logic: Models in presheaves and categorical conceptualization

Access this chapter

Preview

References