Download Fibred Semantics And The Weaving Of Logics Part 1: Modal And Intuitionistic Logics [Paper]