Baltag, A., Smets, S. (2005) Complete axiomatizations for Quantum actions.

International Journal of Theoretical Physics, Vol. 44 (pp 2267-2282)

Article | https://doi.org/10.1007/s10773-005-8022-2 | UvA-DARE

Baltag, A., Smets, S. (2006) Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision.

Electronic Notes in Theoretical Computer Science, Vol. 165 (pp 5-21)

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

Baltag, A., Smets, S. (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. (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. (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., Smets, S. (2008) The logic of conditional doxastic actions.

In Apt, K.R. van Rooij, R. (Eds.), New Perspectives on Games and Interaction (pp 9-31) (Texts in logic and games, Vol. 4). Amsterdam University Press.

Baltag, A., Smets, S. (2008) A dynamic-logical perspective on quantum behavior.

Studia Logica, Vol. 89 (pp 187-211)

Article | https://doi.org/10.1007/s11225-008-9126-5 | UvA-DARE

Baltag, A., Smets, S. (2008) A qualitative theory of dynamic interactive belief revision.

In Bonanno, G. van der Hoek, W. Wooldridge, M. (Eds.), Logic and the foundations of game and decision theory (LOFT 7) (pp 9-58) (Texts in logic and games, Vol. 3). Amsterdam University Press.

Baltag, A., Smets, S. (2008) Probabilistic dynamic belief revision.

Synthese, Vol. 165 (pp 179-202)

Article | https://doi.org/10.1007/s11229-008-9369-8 | UvA-DARE

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. (2009) Group belief dynamics under iterated revision: Fixed points and cycles of joint upgrades.

In 12th Conference on Theoretical Aspects of Rationality and Knowledge: TARK '09 : California, July 06-08, 2009 (pp 41-50). ACM.

Baltag, A., Smets, S. (2009) Talking Your Way into Agreement: Belief Merge by Persuasive Communication.

In Baldoni, M. Baroglio, C. Bentahar, J. Boella, G. Cossentino, M. Dastani, M. Dunin-Kęplicz, B. Fortino, G. Gleizes, M.-P. Leite, J. Mascardi, V. Padget, J. Pavón, J. Polleres, A. El Fallah Seghrouchni, A. Torroni, P. Verbrugge, R. (Eds.), Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops: Turin, Italy, September 7-10, 2009 (pp 129-141) (CEUR Workshop Proceedings, Vol. 494). CEUR-WS.

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