Modal and Tense Predicate Logic. Models on Presheaves and Categorical Conceptualization (1988)

by S Ghilardi, G Meloni
Venue:In Categorical Algebra and its Applications. Proceedings of a Conference, held in Louvain-La-Neuve, Belgium, July 26-August 1, 1987, Lecture Notes in Mathematics