Fibred semantics and the weaving of logics: Part 1 (1996)

by D Gabbay
Venue:Journal of Symbolic Logic, 61(4): 1057 – 1120