Modal and Tense Predicate Logic: Models in Presheaves and Categorical Conceptualization (1987)

by S Ghilardi, G Meloni
Venue:Categorical Algebra and Its Applications: Proceedings of a Conference, Held in Louvain-La-Neuve, Belgium, July 26–August 1