@misc{indiciae43e9333a5405,
  title = {Intuitionistic Monotone Modal Logic: Proof Theory and Semantics},
  author = {Tiziano Dalmonte and Jim de Groot},
  year = {2026},
  doi = {10.4204/eptcs.447.16},
  url = {https://arxiv.org/abs/2606.31870},
  note = {Source identifier: 2606.31870}
}