Baltag, A., Christoff, Z., Rendsvig, R.K., Smets, S. (2015) Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks.

ILLC Pre-publication. Institute for Logic, Language and Computation, University of Amsterdam.

Working paper | https://eprints.illc.uva.nl/id/eprint/533/ | UvA-DARE

Baltag, A., Christoff, Z.L., Rendsvig, R.K., Smets, S. (2016) Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks.

In Pre-Proceedings LOFT. University of Maastricht.

Baltag, A., Cina, G. (2018) Bisimulation for conditional modalities.

Studia Logica, Vol. 106 (pp 1–33)

Article | https://doi.org/10.1007/s11225-017-9723-2 | UvA-DARE

Baltag, A., Fiutek, V., Smets, S. (2014) DDL as an "Internalization" of Dynamic Belief Revision.

In Trypuz, R. (Eds.), Krister Segerberg on logic of actions (pp 253-280) (Outstanding contributions to logic, Vol. 1). Springer.

Baltag, A., Fiutek, V., Smets, S. (2016) Beliefs and Evidence in Justification Models.

In Beklemishev, L. Demri, S. Máté, A. (Eds.), Advances in Modal Logic: AiML 11 (pp 156-176). College Publications.

Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A.L., Smets, S. (2018) A dynamic logic for learning theory.

In Madeira, A. Benevides, M. (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp 35-54) (Lecture Notes in Computer Science, Vol. 10669). Springer.

Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A.L., Smets, S. (2019) A Dynamic Logic for Learning Theory.

Journal of Logical and Algebraic Methods in Programming, Vol. 109

Article | https://doi.org/10.1016/j.jlamp.2019.100485 | UvA-DARE

Baltag, A., Gierasimczuk, N., Smets, S. (2011) Belief Revision as a Truth-Tracking Process.

In Apt, K.R. (Eds.), TARK XIII: Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011) (pp 187-190). ACM.

Baltag, A., Gierasimczuk, N., Smets, S. (2014) Truth-Tracking by Belief Revision.

ILLC Prepublication. Institute for Logic, Language and Computation, University of Amsterdam.

Working paper | https://eprints.illc.uva.nl/id/eprint/508/ | UvA-DARE

Baltag, A., Gierasimczuk, N., Smets, S. (2015) On the Solvability of Inductive Problems: A Study in Epistemic Topology.

In Ramanujam, R. (Eds.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge: TARK 2015 (pp 65-74). The Institute of Mathematical Sciences.

Baltag, A., Gierasimczuk, N., Smets, S. (2016) On the Solvability of Inductive Problems: A Study in Epistemic Topology.

Electronic Proceedings in Theoretical Computer Science, Vol. 215 (pp 81-98)

Article | https://doi.org/10.4204/EPTCS.215.7 | UvA-DARE

Baltag, A., Gierasimczuk, N., Smets, S. (2019) Truth-Tracking by Belief Revision.

Studia Logica, Vol. 107 (pp 917–947)

Article | https://doi.org/10.1007/s11225-018-9812-x | UvA-DARE

Baltag, A., Grossi, D., Rodenhauser, L.B., Marcoci, A., Smets, S. (2012) LIRa-seminar, Dynamics Yearbook 2011.

Local Publisher.

Book (Editorship) | UvA-DARE

Baltag, A., Li, D., Pedersen, M.Y. (2019) On the Right Path: A Modal Logic for Supervised Learning.

In Blackburn, P. Lorini, E. Guo, M. (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp 1-14) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 11813). Springer.

Baltag, A., Li, D., Pedersen, M.Y. (2022) A Modal Logic for Supervised Learning.

Journal of Logic, Language and Information, Vol. 31 (pp 213-234)

Article | https://doi.org/10.1007/s10849-022-09359-w | UvA-DARE

Baltag, A., Moss, L.S., Solecki, S. (2016) The logic of public announcements, common knowledge, and private suspicions.

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

Baltag, A., Moss, L.S., Solecki, S. (2023) Logics for epistemic actions: completeness, decidability, expressivity.

Logics, Vol. 1 (pp 97-147)

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

Baltag, A., Occhipinti, A. (2017) Evidence logics with relational evidence.

In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 17-32) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.

Baltag, A., Özgün, A., Vargas Sandoval, A.L. (2017) Topo-Logic as a Dynamic-Epistemic Logic.

In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 330-346) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.

Baltag, A., Özgün, A., Vargas Sandoval, A.L. (2018) APAL with memory is better.

In Moss, L.S. de Queiroz, R. Martinez, M. (Eds.), Logic, Language, Information, and Computation: 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings (pp 106-129) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10944). Springer.