A completeness theorem in the modal logic of programs (1977)

by K Segerberg
Venue:Notices AMS