Cut elimination in nested sequents for intuitionistic modal logics (2013)

by L Straßburger
Venue:Proceedings of the Foundations of Software Science and Computation Structures, volume 7794 of LNCS