@misc{indiciaeef841c74e58b,
  title = {Fine Selection for Intuitionistic Modal Logic},
  author = {David Fernández-Duque},
  year = {2026},
  url = {https://arxiv.org/abs/2609.27078},
  note = {Source identifier: 2609.27078}
}