A systematic proof theory for several modal logics (2005)

by Charles Stewart, Phiniki Stouppa
Venue:Advances in Modal Logic, Volume 5