A natural deduction approach to dynamic logic (1158)

by F Honsell, M Miculan
Venue:Lecture Notes in Computer Science