@misc{indiciae15f51fe73092,
  title = {Semantical Analysis of Intuitionistic Modal Logics between CK and IK},
  author = {Jim de Groot and Ian Shillito and Ranald Clouston},
  year = {2025},
  url = {https://arxiv.org/abs/2408.00262},
  note = {Source identifier: 2408.00262}
}