@misc{caspar-2026-s4,
  author = {Jean Caspar and Guillaume Munch-Maccagnoni},
  title = {S4 modal sequent calculus as intermediate logic and intermediate language},
  year = {2026},
  month = {1},
  eprint = {2601.08071},
  archiveprefix = {arXiv}
}