A systematic proof theory for several modal logics (2005)

by Charles Stewart
Venue:Advances in Modal Logic, volume 5 of King’s College Publications
Citations:24 - 1 self