Modular Sequent Calculi for Classical Modal Logics

David R. Gilbert, Paolo Maffezioli. Modular Sequent Calculi for Classical Modal Logics. Studia Logica, 103(1):175-217, 2015. [doi]

Abstract

Abstract is missing.