caspar-2026-s4:
  type: misc
  title: S4 modal sequent calculus as intermediate logic and intermediate language
  author:
  - Caspar, Jean
  - Munch-Maccagnoni, Guillaume
  date: 2026-01
  serial-number:
    arxiv: '2601.08071'