Local Intuitionistic Modal Logics and Their Calculi

Philippe Balbiani, Han Gao, Çiğdem Gencer +1

We investigate intuitionistic modal logics with locally interpreted $\square$ and $◊$. The basic logic LIK is stronger than constructive modal logic WK and incomparable with…