TY  - RPRT
TI  - Nested Sequents for Quasi-transitive Modal Logics
AU  - Sonia Marin
AU  - Paaras Padhiar
PY  - 2024
UR  - https://arxiv.org/abs/2406.09300
ID  - 2406.09300
ER  -