| 2026 | KR | Suspending Judgement: Belief Contraction in Dynamic Epistemic Logic. | Alexandru Baltag, Virginie Fiutek, Sonja Smets |
| 2024 | AiML | Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence. | Alexandru Baltag |
| 2024 | AiML | Logics for Data Exchange and Communication. | Alexandru Baltag, Sonja Smets |
| 2022 | KR | The Topology of Surprise. | Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque |
| 2021 | LICS | The Topological Mu-Calculus: completeness and decidability. | Alexandru Baltag, Nick Bezhanishvili, David Fernndez-Duque |
| 2020 | LPAR | Learning What Others Know. | Alexandru Baltag, Sonja Smets |
| 2019 | TAP | The Logic of AGM Learning from Partial Observations. | Alexandru Baltag, Aybke zgn, Ana Lucia Vargas Sandoval |
| 2019 | WoLLIC | The McKinsey-Tarski Theorem for Topological Evidence Logics. | Alexandru Baltag, Nick Bezhanishvili, Sal Fernndez Gonzlez |
| 2018 | WoLLIC | APAL with Memory Is Better. | Alexandru Baltag, Aybke zgn, Ana Lucia Vargas Sandoval |
| 2017 | TABLEAUX | A Dynamic Logic for Learning Theory. | Alexandru Baltag, Nina Gierasimczuk, Aybke zgn, Ana Lucia Vargas Sandoval, Sonja Smets |
| 2016 | AiML | To Know is to Know the Value of a Variable. | Alexandru Baltag |
| 2016 | AiML | Beliefs and Evidence in Justification Models. | Alexandru Baltag, Virginie Fiutek, Sonja Smets |
| 2016 | WoLLIC | Justified Belief and the Topology of Evidence. | Alexandru Baltag, Nick Bezhanishvili, Aybke zgn, Sonja Smets |
| 2013 | WoLLIC | Quantum Probabilistic Dyadic Second-Order Logic. | Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack, Sonja Smets, Shengyang Zhong |
| 2012 | WoLLIC | The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. | Alexandru Baltag, Bryan Renne, Sonja Smets |
| 2011 | TARK | Belief revision as a truth-tracking process. | Alexandru Baltag, Nina Gierasimczuk, Sonja Smets |
| 2009 | TARK | Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. | Alexandru Baltag, Sonja Smets |
| 2009 | WoLLIC | Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. | Alexandru Baltag, Sonja Smets |
| 2007 | TARK | What can we achieve by arbitrary announcements?: A dynamic take on Fitch's knowability. | Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima |
| 2007 | TARK | From conditional probability to the logic of doxastic actions. | Alexandru Baltag, Sonja Smets |
| 1998 | AiML | STS: A Structural Theory of Sets. | Alexandru Baltag |
| 1998 | TARK | The Logic of Public Announcements and Common Knowledge and Private Suspicions. | Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki |