Fibred Semantics and the Weaving of Logics Part 1: Modal and Intuitionistic Logics [paper] 1996 · ENGLISH · PDF View details →