@misc{indiciaed05bb475817d,
  title = {Some constructive variants of S4 with the finite model property},
  author = {Philippe Balbiani and Martín Diéguez and David Fernández-Duque},
  year = {2021},
  url = {https://arxiv.org/abs/2104.15053},
  note = {Source identifier: 2104.15053}
}