Nested Sequents for Quasi-transitive Modal Logics
<|reference_start|>Nested Sequents for Quasi-transitive Modal Logics: Previous works by Gor\'e, Postniece and Tiu have provided sound and cut-free complete proof systems for modal logics extended with path axioms using the formalism of nested sequent. Our aim is to provide (i) a constructive cut-elimination procedure and (ii) alternative modular formulations for these systems. We present our methodology to achieve these two goals on a subclass of path axioms, namely quasi-transitivity axioms.<|reference_end|>
@article{marin2024nested,
    title={Nested Sequents for Quasi-transitive Modal Logics},
    author={Sonia Marin and Paaras Padhiar},
    journal={arXiv preprint arXiv:2406.09300},
    year={2024},
    archivePrefix={arXiv},
    eprint={2406.09300},
    primaryClass={cs.LO math.LO}
}