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

by K Segerberg
Venue:Banach Center Publications