Logics for Epistemic Programs (2004)

by A Baltag, L Moss
Venue:Synthese / Knowledge, Rationality and Action