Cut Elimination for Extended Sequent Calculi
We present a syntactical cut-elimination proof for an extended sequent calculus covering the classical modal logics in the \(\mathsf{K}\), \(\mathsf{D}\), \(\mathsf{T}\), \(\mathsf{K4}\), \(\mathsf{D4}\) and \(\mathsf{S4}\) spectrum. We design the systems uniformly since they all share the same set...
| Huvudupphovsmän: | , , |
|---|---|
| Materialtyp: | Artikel |
| Språk: | English |
| Publicerad: |
Lodz University Press
2023-09-01
|
| Serie: | Bulletin of the Section of Logic |
| Ämnen: | |
| Länkar: | https://czasopisma.uni.lodz.pl/bulletin/article/view/13263 |