On the duality of dynamic algebras and Kripke models (1981)

by D Kozen
Venue:In Logic of Programs 1981, LNCS 651