S4 modal sequent calculus as intermediate logic and intermediate language. - Jean Caspar; Guillaume Munch-Maccagnoni (CoRR, 2026)