Keyword:Nested sequent

Papers
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Tim Lyon EasyChair Preprint no. 7080