Sequent systems for modal logics (2002)

by Heinrich Wansing
Venue:Handbook of Philosophical Logic, 2nd edition