Logics for epistemic programs (0)

by Alexandrau Baltag, Larry Moss
Venue:Synthese: Knowledge, Rationality, and Action, 2:165