Logics for epistemic programs (2004)

by A Baltag, L S Moss
Venue:Synthese