1. On the semantics of knowledge update;Baral,2001
2. The complexity of model checking for knowledge update;Baral,2002
3. A logic for suspicious players: Epistemic actions and belief updates in games;Baltag;Bull. Econom. Res.,2002
4. The logic of public announcements, common knowledge and private suspicions;Baltag,1998
5. Monotonicity and persistence in preferential logics;Engelfriet;J. Artificial Intelligence Res.,1998