A logic of epistemic actions (1999)

by Alexandru Baltag