Stewart, C. and
Stouppa, P. 2005.
“A Systematic Proof Theory for Several Modal Logics.” in
Advances in Modal Logic, volume V, edited by Renate A.
Schmidt, Ian
Pratt-Hartmann, Mark A.
Reynolds, and Heinrich Theodor
Wansing, pp. 309–333. London: King’s College Publications.