Download - A Fibrational Framework for Substructural and Modal ......A Judgemental Deconstruction of Modal Logic [Reed’09] Adjoint Logic with a 2-Category of Modes [L.Shulman’16] A Fibrational