A Natural Deduction Approach to Dynamic Logic (1996)

by Furio Honsell , Marino Miculan
Venue:Proceedings of TYPES'95, LNCS 1158
Citations:13 - 5 self