Nested Sequents for Quasi-transitive Modal Logics. - Sonia Marin; Paaras Padhiar (CoRR, 2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report). - Sonia Marin; Paaras Padhiar (CoRR, 2025)