The Logic of Public Announcements and Common Knowledge and Private Suspicions. - Alexandru Baltag; Lawrence S. Moss; Slawomir Solecki (TARK, 1998)

STS: A Structural Theory of Sets. - Alexandru Baltag (Log. J. IGPL, 1999)

Interpolation and Preservation for Pebble Logics. - Alexandru Baltag (J. Symb. Log., 1999)

A Logic for Coalgebraic Simulation. - Alexandru Baltag (CMCS, 2000)

A Coalgebraic Semantics for Epistemic Programs. - Alexandru Baltag (CMCS, 2003)

Algebra and Sequent Calculus for Epistemic Actions. - Alexandru Baltag; Bob Coecke; Mehrnoosh Sadrzadeh (LCMAS, 2004)

Logics for Epistemic Programs. - Alexandru Baltag; Lawrence S. Moss (Synth., 2004)

The Algebra of Multi-Agent Dynamic Belief Revision. - Alexandru Baltag; Mehrnoosh Sadrzadeh (LCMAS, 2005)

Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. - Alexandru Baltag; Sonja Smets (WoLLIC, 2006)

LQP: the dynamic logic of quantum information. - Alexandru Baltag; Sonja Smets (Math. Struct. Comput. Sci., 2006)

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 (TARK, 2007)

From conditional probability to the logic of doxastic actions. - Alexandru Baltag; Sonja Smets (TARK, 2007)

Epistemic Actions as Resources. - Alexandru Baltag; Bob Coecke; Mehrnoosh Sadrzadeh (J. Log. Comput., 2007)

'Knowable' as 'known after an announcement'. - Philippe Balbiani; Alexandru Baltag; Hans van Ditmarsch; Andreas Herzig; Tomohiro Hoshi; Tiago de Lima (Rev. Symb. Log., 2008)

A Dynamic-Logical Perspective on Quantum Behavior. - Alexandru Baltag; Sonja Smets (Stud Logica, 2008)

Probabilistic dynamic belief revision. - Alexandru Baltag; Sonja Smets (Synth., 2008)

Talking Your Way into Agreement: Belief Merge by Persuasive Communication. - Alexandru Baltag; Sonja Smets (MALLOW, 2009)

Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. - Alexandru Baltag; Sonja Smets (TARK, 2009)

Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points. - Alexandru Baltag; Sonja Smets (WoLLIC, 2009)

Correlated Information: A Logic for Multi-Partite Quantum Systems. - Alexandru Baltag; Sonja Smets (QPL@MFPS, 2009)

Keep 'hoping' for rationality: a solution to the backward induction paradox. - Alexandru Baltag; Sonja Smets; Jonathan A. Zvesper (Synth., 2009)

Belief revision as a truth-tracking process. - Alexandru Baltag; Nina Gierasimczuk; Sonja Smets (TARK, 2011)

Quantum logic as a dynamic logic. - Alexandru Baltag; Sonja Smets (Synth., 2011)

The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. - Alexandru Baltag; Bryan Renne; Sonja Smets (WoLLIC, 2012)

A Dynamic-Epistemic Logic for Mobile Structured Agents - Anya Yermakova; Alexandru Baltag (CoRR, 2012)

The dynamic turn in quantum logic. - Alexandru Baltag; Sonja Smets (Synth., 2012)

The Topology of Belief, Belief Revision and Defeasible Knowledge. - Alexandru Baltag; Nick Bezhanishvili; Aybüke Özgün; Sonja Smets (LORI, 2013)

Quantum Probabilistic Dyadic Second-Order Logic. - Alexandru Baltag; Jort Bergfeld; Kohei Kishida; Joshua Sack; Sonja Smets; Shengyang Zhong (WoLLIC, 2013)

Protocols for belief merge: Reaching agreement via communication. - Alexandru Baltag; Sonja Smets (Log. J. IGPL, 2013)

The logic of justified belief, explicit knowledge, and conclusive evidence. - Alexandru Baltag; Bryan Renne; Sonja Smets (Ann. Pure Appl. Log., 2014)

The Topology of Full and Weak Belief. - Alexandru Baltag; Nick Bezhanishvili; Aybüke Özgün; Sonja Smets (TbiLLC, 2015)

On the Solvability of Inductive Problems: A Study in Epistemic Topology. - Alexandru Baltag; Nina Gierasimczuk; Sonja Smets (TARK, 2015)

Revisable Justified Belief: Preliminary Report. - Alexandru Baltag; Bryan Renne; Sonja Smets (CoRR, 2015)

Logics of Informational Interactions. - Alexandru Baltag; Sonja Smets (J. Philos. Log., 2015)

To Know is to Know the Value of a Variable. - Alexandru Baltag (Advances in Modal Logic, 2016)

Beliefs and Evidence in Justification Models. - Alexandru Baltag; Virginie Fiutek; Sonja Smets (Advances in Modal Logic, 2016)

Justified Belief and the Topology of Evidence. - Alexandru Baltag; Nick Bezhanishvili; Aybüke Özgün; Sonja Smets (WoLLIC, 2016)

Quotient Dynamics: The Logic of Abstraction. - Alexandru Baltag; Nick Bezhanishvili; Julia Ilin; Aybüke Özgün (LORI, 2017)

Evidence Logics with Relational Evidence. - Alexandru Baltag; Andrés Occhipinti Liberman (LORI, 2017)

Topo-Logic as a Dynamic-Epistemic Logic. - Alexandru Baltag; Aybüke Özgün; Ana Lucia Vargas Sandoval (LORI, 2017)

Modeling correlated information change: from conditional beliefs to quantum conditionals. - Alexandru Baltag; Sonja Smets (Soft Comput., 2017)

APAL with Memory Is Better. - Alexandru Baltag; Aybüke Özgün; Ana Lucia Vargas Sandoval (WoLLIC, 2018)

Bisimulation for Conditional Modalities. - Alexandru Baltag; Giovanni Ciná (Stud Logica, 2018)

On the Right Path: A Modal Logic for Supervised Learning. - Alexandru Baltag; Dazhu Li; Mina Young Pedersen (LORI, 2019)

The Logic of AGM Learning from Partial Observations. - Alexandru Baltag; Aybüke Özgün; Ana Lucia Vargas Sandoval (DaLí, 2019)

Topological Evidence Logics: Multi-agent Setting. - Alexandru Baltag; Nick Bezhanishvili; Saúl Fernández González (TbiLLC, 2019)

The McKinsey-Tarski Theorem for Topological Evidence Logics. - Alexandru Baltag; Nick Bezhanishvili; Saúl Fernández González (WoLLIC, 2019)

Learning Probabilities: Towards a Logic of Statistical Learning. - Alexandru Baltag; Soroush Rafiee Rad; Sonja Smets (TARK, 2019)

A dynamic logic for learning theory. - Alexandru Baltag; Nina Gierasimczuk; Aybüke Özgün; Ana Lucia Vargas Sandoval; Sonja Smets (J. Log. Algebraic Methods Program., 2019)

A Topological Approach to Full Belief. - Alexandru Baltag; Nick Bezhanishvili; Aybüke Özgün; Sonja Smets (J. Philos. Log., 2019)

The probabilistic logic of communication and change. - Andreea Achimescu; Alexandru Baltag; Joshua Sack (J. Log. Comput., 2019)

Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. - Alexandru Baltag; Zoé Christoff; Rasmus K. Rendsvig; Sonja Smets (Stud Logica, 2019)

Truth-Tracking by Belief Revision. - Alexandru Baltag; Nina Gierasimczuk; Sonja Smets (Stud Logica, 2019)

Learning What Others Know. - Alexandru Baltag; Sonja Smets (LPAR, 2020)

The Logic of Quantum Programs. - Alexandru Baltag; Sonja Smets (CoRR, 2021)

A Simple Logic of Functional Dependence. - Alexandru Baltag; Johan van Benthem (J. Philos. Log., 2021)

The Topology of Surprise. - Alexandru Baltag; Nick Bezhanishvili; David Fernández-Duque (KR, 2022)

Logics for Epistemic Actions: Completeness, Decidability, Expressivity. - Alexandru Baltag; Lawrence S. Moss; Slawomir Solecki (CoRR, 2022)

A Logical Analysis of Dynamic Dependence. - Alexandru Baltag; Johan van Benthem; Dazhu Li (CoRR, 2022)

A Modal Logic for Supervised Learning. - Alexandru Baltag; Dazhu Li; Mina Young Pedersen (J. Log. Lang. Inf., 2022)

Arbitrary Public Announcement Logic with Memory. - Alexandru Baltag; Aybüke Özgün; Ana Lucia Vargas Sandoval (J. Philos. Log., 2023)

The Topological Mu-Calculus: Completeness and Decidability. - Alexandru Baltag; Nick Bezhanishvili; David Fernández-Duque (J. ACM, 2023)

Knowability as Continuity: The Modal Logic of Continuous and Uniform Dependence. - Alexandru Baltag (AiML, 2024)

Logics for Data Exchange and Communication. - Alexandru Baltag; Sonja Smets (AiML, 2024)

Knowability as continuity: a topological account of informational dependence. - Alexandru Baltag; Johan van Benthem (CoRR, 2024)