@misc{indiciae39a4193d309c,
  title = {Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication},
  author = {Jim de Groot and Tadeusz Litak and Dirk Pattinson},
  year = {2026},
  url = {https://arxiv.org/abs/2105.01873},
  note = {Source identifier: 2105.01873}
}