STS: a structural theory of sets / A. BaltagThe logic of public announcements, common knowledge, and private suspicions / A. Baltag, L.S. Moss, S. SoleckiTruth-as-simulation : towards a coalgebraic perspective on logic and games / A. BaltagA logic for suspicious players : epistemic actions and belief-update in games / A. Baltag