Baltag, A. Smets, S. (2009) Learning by questions and answers: From belief-revision cycles to doxastic fixed points.

In Ono, H. Kanazawa, M. de Queiroz, R. (Eds.), Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings (pp 124-139) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 5514). Springer.

Baltag, A. Smets, S. (2010) Correlated Knowledge: An Epistemic-Logic View on Quantum Entanglement.

International Journal of Theoretical Physics, Vol. 49 (pp 3005-3021)

Article | https://doi.org/10.1007/s10773-010-0411-5 | UvA-DARE

Baltag, A. Smets, S. (2011) Quantum Logic as a Dynamic Logic.

Synthese, Vol. 179 (pp 285-306)

Article | https://doi.org/10.1007/s11229-010-9783-6 | UvA-DARE

Baltag, A. Smets, S. (2011) Correlated Information: A Logic for Multi-Partite Quantum Systems.

Electronic Notes in Theoretical Computer Science, Vol. 270 (pp 3-14)

Article | https://doi.org/10.1016/j.entcs.2011.01.020 | UvA-DARE

Baltag, A. Smets, S. (2011) Keep Changing Your Beliefs, Aiming for the Truth.

Erkenntnis, Vol. 75 (pp 255-270)

Article | https://doi.org/10.1007/s10670-011-9294-y | UvA-DARE

Baltag, A. Smets, S. (2012) The Dynamic Turn in Quantum Logic.

Synthese, Vol. 186 (pp 753-773)

Article | https://doi.org/10.1007/s11229-011-9915-7 | UvA-DARE

Baltag, A. Smets, S. (2013) Protocols for Belief Merge: Reaching Agreement via Communication.

Logic Journal of the IGPL, Vol. 21 (pp 468-487)

Article | https://doi.org/10.1093/jigpal/jzs049 | UvA-DARE

Baltag, A. Smets, S. (2014) On the Trails of Logical Dynamics: a bird’s-eye view of this volume.

In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp xv-lxix) (Outstanding contributions to logic, Vol. 5). Springer.

Baltag, A. Smets, S. (2014) Johan van Benthem on Logic and Information Dynamics.

Outstanding contributions to logic, Vol. 5. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-319-06025-5 | UvA-DARE

Baltag, A. Smets, S. (2015) Logics of Informational Interactions.

Journal of Philosophical Logic, Vol. 44 (pp 595-607)

Article | https://doi.org/10.1007/s10992-015-9345-y | UvA-DARE

Baltag, A. Smets, S. (2016) A Qualitative Theory of Dynamic Interactive Belief Revision.

In Arló-Costa, H. Hendricks, V.F. van Benthem, J. (Eds.), Readings in Formal Epistemology: Sourcebook (pp 813-858) (Springer Graduate Texts in Philosophy, Vol. 1). Springer.

Baltag, A. Smets, S. (2017) Modeling correlated information change: from conditional beliefs to quantum conditionals.

Soft Computing, Vol. 21 (pp 1523-1535)

Article | https://doi.org/10.1007/s00500-017-2499-5 | UvA-DARE

Baltag, A. Smets, S. (2022) Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic.

Applied Sciences, Vol. 12

Article | https://doi.org/10.3390/app12094458 | UvA-DARE

Baltag, A. Smets, S. (2023) Logic meets Wigner's Friend (and their Friends).

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2307.01713 | UvA-DARE

Baltag, A. Smets, S.J.L. (2006) LQP: The Dynamic Logic of Quantum Information.

Mathematical Structures in Computer Science, Vol. 16 (pp 491-525)

Article | https://doi.org/10.1017/S0960129506005299 | UvA-DARE

Baltag, A. Smets, S.J.L. (2007) From Conditional Probability to the Logic of Doxastic Actions.

In Proceedings of TARK XI (pp 52-61). Electronic Collection in ACM DL.

Baltag, A. Smets, S.J.L. (2007) Probabilistic Dynamic Belief Revision.

In van Benthem, J. Ju, S. Veltman, F. (Eds.), A Meeting of the Minds: proceedings of the Workshop on Logic, Rationality and Interaction (pp 21-41) (Computing Series, Vol. 8). College Publications.

Baltag, A. van Benthem, J. Westerståhl, D. (2023) Compositionality in Context.

In Palmigiano, A. Zadrzadeh, M. (Eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond (pp 773-812) (Outstanding Contributions to Logic, Vol. 25). Springer.

Baltag, A. van Benthem, J. (2020) Some Thoughts on the Logic of Imprecise Observation.

In Ying, X. (Eds.), Xue bu fen dong xi: Qing hua da xue zhe xue xi jiao shi lun wen ji (pp 329-364). Qing hua da xue chu ban she.

Baltag, A. van Benthem, J. (2021) A Simple Logic of Functional Dependence.

Journal of Philosophical Logic, Vol. 50 (pp 939-1005)

Article | https://doi.org/10.1007/s10992-020-09588-z | UvA-DARE