Logic for epistemic programs (0)

by Alexandru Baltag, Larry Moss
Venue:Synthese