@misc{indiciae72c4d0c71862,
  title = {Taming Complexity in Intuitionistic Modal Logic: The Case of FIK and Its Shallow Calculus},
  author = {Han Gao and Nicola Olivetti},
  year = {2026},
  doi = {10.4204/eptcs.447.23},
  url = {https://arxiv.org/abs/2606.31877},
  note = {Source identifier: 2606.31877}
}