Caspar, J., & Munch-Maccagnoni, G. (2026). S4 modal sequent calculus as intermediate logic and intermediate language.
Chicago-Zitierstil (17. Ausg.)Caspar, Jean, und Guillaume Munch-Maccagnoni. S4 Modal Sequent Calculus as Intermediate Logic and Intermediate Language. 2026.
MLA-Zitierstil (9. Ausg.)Caspar, Jean, und Guillaume Munch-Maccagnoni. S4 Modal Sequent Calculus as Intermediate Logic and Intermediate Language. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.