S4 modal sequent calculus as intermediate logic and intermediate language

Jean Caspar, Guillaume Munch-Maccagnoni

In this short paper, we advocate for the idea that continuation-based intermediate languages correspond to intermediate logics. The goal of intermediate languages is to serve as a…