https://arxiv.org/abs/2601.08071v1
[2601.08071v1] S4 modal sequent calculus as intermediate logic and intermediate language
Abstract page for arXiv paper 2601.08071v1: S4 modal sequent calculus as intermediate logic and intermediate language
sequent calculusintermediate logic2601s4modal