Semantical Analysis of Intuitionistic Modal Logics between CK and IK.

Jim de Groot, Ian Shillito, Ranald Clouston

Browse the full LICS paper archive.