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. (2020) Learning what others know.

In Albert, E. Kovács, L. (Eds.), LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp 90-119) (EPiC Series in Computing, Vol. 73). EasyChair.

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. (2024) Logic Meets Wigner’s Friend (and their Friends).

International Journal of Theoretical Physics, Vol. 63

Article | https://doi.org/10.1007/s10773-024-05611-0 | UvA-DARE

Baltag, A., Soares Barbosa, L. (2020) Preface.

In Soares Barbosa, L. Baltag, A. (Eds.), Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings (pp vi) (Lecture Notes in Computer Science, Vol. 12005). Springer.

Baltag, A., van Benthem, J.F.A.K., 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.F.A.K. (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.F.A.K. (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

Baltag, A., van Benthem, J.F.A.K. (2024) Knowability as continuity: a topological account of informational dependence.

ArXiv.

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

Baltag, A. (1999) Truth-as-Simulation: towards a coalgebraic perspective on logic and games.

SEN. CWI.

Report | UvA-DARE