Modular construction of modal logics (2004)

by C Cîrstea, D Pattinson
Venue:In CONCUR’04, LNCS 3170