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

by D Gabbay
Venue:Journal of Symbolic Logic