@misc{indiciae8e566be60e89,
  title = {A decision procedure for intuitionistic modal logic IS4 (and IK4)},
  author = {Marianna Girlando and Roman Kuznets and Sonia Marin and Lutz Straßburger},
  year = {2026},
  url = {https://arxiv.org/abs/2609.24922},
  note = {Source identifier: 2609.24922}
}