Baltag, A., and van Benthem, J. Knowability as Continuity: A Topological Account of Informational Dependence. Logics 2025, 3(3), 6 (63 pages). https://doi.org/10.3390/logics3030006
A. Baltag, D. Fernandez-Duque and N. Bezhanishvili. The Topology of Surprise. Artificial Intelligence, Vol. 349, 104423 . Extended journal version (23 pages), Elsevier B.V., 2025. DOI: 10.1016/J.ARTINT.2025.104423
Baltag, A., Gattinger, M., and Gomes, D. Virtual Group Knowledge and Group Belief in Topological Evidence Models. In Pre-Proceedings of DaLi 2025 (The 6th Workshop on Dynamic Logic – New Trends and Applications), pp. 129—147, Shaanxi Normal University, 2025. (Extended version to appear in Post-Proceedings DALI 2025, Lecture notes in Computer Science, Springer, in print.) Long version with proofs available as ArXiv preprint https://arxiv.org/abs/2509.00184
A Baltag, N Bezhanishvili, D Fernández-Duque The topological mu-calculus: completeness and decidability, Journal of the ACM, Volume 70, Issue 5 Article No.: 33, Pages 1 – 38, 2023. https://doi.org/10.1145/3623268
A. Baltag, N Bezhanishvili, D Fernández-Duque. The Topology of Surprise. In G. Kern-Isberner, G. Lakemeyer, T. Meyer (eds), Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR). Series KR, pp 33-42, 2022. Awarded Ray Reiter Best Paper Award 2022 for research in AI.
A Baltag, N Bezhanishvili, A Özgün, S Smets, Justified belief, knowledge, and the topology of evidence, Synthese 200 (6), 512, 2022. https://doi.org/10.1007/s11229-022-03967-6
A. Baltag, D. Fernandez-Duque and N. Bezhanishvili, The Topological Mu-Calculus: completeness and decidability In Proceedings of LICS '21 (The 36th Annual ACM/IEEE Symposium on Logic in Computer Science), vol 89: 1-13, 2021. https://doi.org/10.1109/LICS52264.2021.9470560
A. Baltag, N. . Bezhanishvili and S. Fern{\'a}ndez Gonz{\'a}lez, Topological Evidence Logics: Multi-agent Setting. In: Özgün, A., Zinova, Y. (eds) Language, Logic, and Computation. Proceedings of International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2019), Lecture Notes in Computer Science, vol 13206. pp. 237-257, Springer, 2022. https://doi.org/10.1007/978-3-030-98479-3_12
A. Baltag, N. Bezhanishvili, A. Ozgun, S.Smets, A Topological Approach to Full Belief. Journal of Philosophical Logic (2019), volume 48, Issue 2, pp 205–244 (First online 2018).
A. Baltag, A. Özgün, and A. L. Vargas Sandoval. Topo-logic as a Dynamic-Epistemic Logic. Proceedings of the 6th LORI (2017), pp 330-346.
A. Baltag, N. Bezhanishvili, A. Ozgun, S.Smets, Justified True Belief and the Topology of Evidence, Proceedings of the 23rd WoLLIC (2016), pp 83-103.
A. Baltag, N. Bezhanishvili, A. Özgün, S. Smets. The Topology of Full and Weak belief. Post-proceedings of the 11th TbiLLC (2015), pp 205-228. A shorter version was published in Pre-proceedings of ELISIEM Workshop@ESSLLI 2014.
A. Baltag, N. Bezhanishvili, A. Özgün, S. Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge. Proceedings of LORI 2013, pp 27-40.
A. Baltag, N. Gierasimczuk, S. Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. In R. Ramanumam, (ed.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge , TARK 2015, Electronic Proceedings in Theoretical Computer Science, in print 2015. (ILLC Preprint PP-2015-13).
A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Full and Weak Belief. Proceedings of the 11th International Tbilisi Symposium on Language, Logic and Computation in Lecture Notes in Computer Science , submitted for publication 2015. (ILLC preprint PP-2014-03).
A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topological Theory of Belief, submitted for publication. 2015. (ILLC preprint PP-2015-18).
A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge. Proceedings of the LORI conference, In Lecture Notes in Computer Science , Volume 8196, pp.27-40, 2013.