The authors explore the logic LIK, comparing it to other modal logics and proposing axiomatizations and calculi for decision procedures.