A logic of epistemic actions (1999)

by A Baltag
Venue:Utrecht University