Slide 1 Bogdan Gapinski Semantics: Modal Logics / Applicative Categorical Grammars Presentation based on the book “Type-Logical Semantics” by Bob Carpenter Slide 2 Modal…