Semantical Analysis of Intuitionistic Modal Logics between CK and IK

Jim de Groot, Ian Shillito and Ranald Clouston

Abstract

We study Kripke semantics for logics between CK and IK, giving frame conditions and resolving questions about their diamond-free fragments. The results are formalised in Coq.

Paper Preprint

← All publications