Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2016) Justified Belief and the Topology of Evidence.

In Väänänen, J. Hirvonen, Å. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016: Puebla, Mexico, August 16–19th, 2016: proceedings (pp 83-103) (Lecture Notes in Computer Science, Vol. 9803). Springer.

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2017) The Topology of Full and Weak Belief.

In Hansen, H.H. Murray, S.E. Sadrzadeh, M. Zeevat, H. (Eds.), Logic, Language, and Computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015 : revised selected papers (pp 205-228) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10148). Springer.

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2019) A Topological Approach to Full Belief.

Journal of Philosophical Logic, Vol. 48 (pp 205-244)

Article | https://doi.org/10.1007/s10992-018-9463-4 | UvA-DARE

Baltag, A., Bezhanishvili, N., Özgün, A., Smets, S. (2022) Justified belief, knowledge, and the topology of evidence.

Synthese, Vol. 200

Article | https://doi.org/10.1007/s11229-022-03967-6 | UvA-DARE

Baltag, A., Boddy, R., Smets, S. (2018) Group knowledge in interrogative epistemology.

In van Ditmarsch, H. Sandu, G. (Eds.), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (pp 131-164) (Outstanding contributions to logic, Vol. 12). Springer.

Baltag, A., Canavotto, I., Smets, S. (2021) Causal Agency and Responsibility: A Refinement of STIT Logic.

In Giordani, A. Malinowski, J. (Eds.), Logic in High Definition: Trends in Logical Semantics (pp 149-176) (Trends in Logic, Vol. 56). Springer.

Baltag, A., Christoff, Z., Hansen, J.U., Smets, S. (2013) Logical Models of Informational Cascades.

In van Benthem, J. Liu, F. (Eds.), Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013 (pp 405-432) (Studies in Logic, Vol. 47). College Publications.

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