Modal and tense predicate logic: Models in presheaves and categorical conceptualization-Reference-Cited by-同舟云学术

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

Published:1988 Issue: Volume: Page:130-142
ISSN:0075-8434
Container-title:Lecture Notes in Mathematics
language:
Short-container-title:

Author:

Ghilardi S.,Meloni G. C.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0081355

Reference13 articles.

1. 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.

2. 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.

3. 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.

4. 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”.

5. S. Ghilardi, G. C. Meloni, Semantic Analysis of Distributive Linear Logic, Preprint.

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modal Hyperdoctrine: Higher-Order and Non-normal Extensions;Lecture Notes in Computer Science;2024

2. Categorial modal realism;Synthese;2023-01-30

3. Specification and Verification of a Linear-Time Temporal Logic for Graph Transformation;Graph Transformation;2023

4. A Presheaf Semantics for Quantified Temporal Logics;Recent Trends in Algebraic Development Techniques;2023

5. Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy;History and Philosophy of Logic;2022-09-05