For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.
Baltag, A., Bezhanishvili, N., & Fernández-Duque, D. (2021). The topological mu-calculus: completeness and decidability. In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 29 June 2021-2 July 2021, Rome, Italy,virtual (pp. 1126-1138). IEEE. https://doi.org/10.1109/LICS52264.2021.9470560[details]
Baltag, A., Canavotto, I., & Smets, S. (2021). Causal Agency and Responsibility: A Refinement of STIT Logic. In A. Giordani, & J. Malinowski (Eds.), Logic in High Definition: Trends in Logical Semantics (pp. 149-176). (Trends in Logic; Vol. 56). Springer. https://doi.org/10.1007/978-3-030-53487-5_8[details]
Baltag, A., & Smets, S. (2020). Learning what others know. In E. Albert, & L. Kovács (Eds.), LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 90-119). (EPiC Series in Computing; Vol. 73). EasyChair. https://doi.org/10.29007/plm4
Baltag, A., & van Benthem, J. (2020). Some Thoughts on the Logic of Imprecise Observation. In X. Ying (Ed.), 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. https://eprints.illc.uva.nl/1660/1/2018.MarginError.pdf[details]
Baltag, A., Özgün, A., & Vargas-Sandoval, A. L. (2020). The Logic of AGM Learning from Partial Observations. In L. Soares Barbosa, & A. Baltag (Eds.), Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings (pp. 35-52). (Lecture Notes in Computer Science; Vol. 12005). Springer. https://doi.org/10.1007/978-3-030-38808-9_3[details]
Soares Barbosa, L., & Baltag, A. (Eds.) (2020). Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings. (Lecture Notes in Computer Science; Vol. 12005). Springer. https://doi.org/10.1007/978-3-030-38808-9[details]
2019
Achimescu, A., Baltag, A., & Sack, J. (2019). The Probabilistic Logic of Communication and Change. Journal of Logic and Computation, 29(7), 1015-1040. https://doi.org/10.1093/logcom/exv084[details]
Baltag, A., Bezhanishvili, N., & Fernández González, S. (2019). The McKinsey-Tarski theorem for topological evidence logics. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp. 177-194). (Lecture Notes on Computer Science; Vol. 11541), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-59533-6_11[details]
Baltag, A., Christoff, Z., Rendsvig, R. K., & Smets, S. (2019). Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks (journal paper). Studia Logica, 107(3), 489-531. https://doi.org/10.1007/s11225-018-9804-x
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, 109, [100485]. https://doi.org/10.1016/j.jlamp.2019.100485[details]
Baltag, A., Li, D., & Pedersen, M. Y. (2019). On the Right Path: A Modal Logic for Supervised Learning. In P. Blackburn, E. Lorini, & M. Guo (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; Vol. 11813), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-60292-8_1[details]
Baltag, A., Rad, S. R., & Smets, S. (2019). Learning Probabilities: Towards a Logic of Statistical Learning. Electronic Proceedings in Theoretical Computer Science, 297, 35-49. https://doi.org/10.4204/EPTCS.297.3[details]
Baltag, A., Boddy, R., & Smets, S. (2018). Group knowledge in interrogative epistemology. In H. van Ditmarsch, & G. Sandu (Eds.), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (pp. 131-164). (Outstanding contributions to logic; Vol. 12). Springer. https://doi.org/10.1007/978-3-319-62864-6_5[details]
Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A. L., & Smets, S. (2018). A dynamic logic for learning theory. In A. Madeira, & M. Benevides (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. https://doi.org/10.1007/978-3-319-73579-5_3[details]
Baltag, A., Özgün, A., & Vargas Sandoval, A. L. (2018). APAL with memory is better. In L. S. Moss, R. de Queiroz, & M. Martinez (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; Vol. 10944), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-57669-4_6[details]
Baltag, A. (Ed.), Seligman, J., & Yamada, T. (2017). Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings. (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8[details]
Baltag, A., & Occhipinti, A. (2017). Evidence logics with relational evidence. In A. Baltag, J. Seligman, & T. Yamada (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; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_2[details]
Baltag, A., & Smets, S. (2017). Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft Computing, 21(6), 1523-1535. https://doi.org/10.1007/s00500-017-2499-5[details]
Baltag, A., Bezhanishvili, N., Ilin, J., & Özgün, A. (2017). Quotient dynamics: the logic of abstraction. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 181-194). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_13[details]
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2017). The Topology of Full and Weak Belief. In H. H. Hansen, S. E. Murray, M. Sadrzadeh, & H. Zeevat (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; Vol. 10148), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-54332-0_12[details]
Baltag, A., Özgün, A., & Vargas Sandoval, A. L. (2017). Topo-Logic as a Dynamic-Epistemic Logic. In A. Baltag, J. Seligman, & T. Yamada (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; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_23[details]
Baltag, A. (2016). To Know is to Know the Value of a Variable. In L. Beklemishev, S. Demri, & A. Máté (Eds.), Advances in Modal Logic: AiML 11 (pp. 135-155). College Publications. http://www.aiml.net/volumes/volume11/Baltag.pdf[details]
Baltag, A., & Renne, B. (2016). Dynamic Epistemic Logic. Stanford Encyclopedia of Philosophy, 2016(Fall). [details]
Baltag, A., & Smets, S. (2016). A Qualitative Theory of Dynamic Interactive Belief Revision. In H. Arló-Costa, V. F. Hendricks, & J. van Benthem (Eds.), Readings in Formal Epistemology: Sourcebook (pp. 813-858). (Springer Graduate Texts in Philosophy; Vol. 1). Springer. https://doi.org/10.1007/978-3-319-20451-2_39[details]
Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. J. L. (2016). Justified Belief and the Topology of Evidence. In J. Väänänen, Å. Hirvonen, & R. de Queiroz (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. https://doi.org/10.1007/978-3-662-52921-8_6[details]
Baltag, A., Christoff, Z. L., Rendsvig, R. K., & Smets, S. J. L. (2016). Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. In Pre-Proceedings LOFT University of Maastricht.
Baltag, A., Fiutek, V., & Smets, S. (2016). Beliefs and Evidence in Justification Models. In L. Beklemishev, S. Demri, & A. Máté (Eds.), Advances in Modal Logic: AiML 11 (pp. 156-176). College Publications. http://www.aiml.net/volumes/volume11/Baltag-Fiutek-Smets.pdf[details]
Baltag, A., Gierasimczuk, N., & Smets, S. (2016). On the Solvability of Inductive Problems: A Study in Epistemic Topology. Electronic Proceedings in Theoretical Computer Science, 215, 81-98. https://doi.org/10.4204/EPTCS.215.7[details]
Baltag, A., Moss, L. S., & Solecki, S. (2016). The logic of public announcements, common knowledge, and private suspicions. In H. Arló-Costa, V. F. Hendricks, & J. van Benthem (Eds.), Readings in Formal Epistemology: Sourcebook (pp. 773-812). (Springer Graduate Texts in Philosophy; Vol. 1). Springer. https://doi.org/10.1007/978-3-319-20451-2_38[details]
Baltag, A., Gierasimczuk, N., & Smets, S. (2015). On the Solvability of Inductive Problems: A Study in Epistemic Topology. In R. Ramanujam (Ed.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge: TARK 2015 (pp. 65-74). The Institute of Mathematical Sciences. http://www.imsc.res.in/tark/TARK2015-proceedings.pdf[details]
Baltag, A., Bergfeld, J., Kishida, K., Sack, J., Smets, S., & Zhong, S. (2014). PLQP & Company: Decidable Logics for Quantum Algorithms. International Journal of Theoretical Physics, 53(10), 3628-3647. https://doi.org/10.1007/s10773-013-1987-3[details]
Baltag, A., Fiutek, V., & Smets, S. (2014). DDL as an "Internalization" of Dynamic Belief Revision. In R. Trypuz (Ed.), Krister Segerberg on logic of actions (pp. 253-280). (Outstanding contributions to logic; Vol. 1). Springer. https://doi.org/10.1007/978-94-007-7046-1_12[details]
Baltag, A., Renne, B., & Smets, S. (2014). The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence. Annals of Pure and Applied Logic, 165(1), 49-81. https://doi.org/10.1016/j.apal.2013.07.005[details]
2013
Baltag, A., & Smets, S. (2013). Protocols for Belief Merge: Reaching Agreement via Communication. Logic Journal of the IGPL, 21(3), 468-487. https://doi.org/10.1093/jigpal/jzs049[details]
Baltag, A., Bergfeld, J. M., Kishida, K., Sack, J., Smets, S. J. L., & Zhong, S. (2013). Quantum Probabilistic Dyadic Second-Order Logic. In L. Libkin, U. Kohlenbach, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings (pp. 64-80). (Lecture Notes in Computer Science; Vol. 8071), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-39992-3_9[details]
Baltag, A., Bezhanishvili, N., Özgun, A., & Smets, S. (2013). The Topology of Belief, Belief Revision and Defeasible Knowledge. In D. Grossi, O. Roy, & H. Huang (Eds.), Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings (pp. 27-40). (Lecture Notes in Computer Science; Vol. 8196), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-40948-6_3[details]
Baltag, A., Christoff, Z., Hansen, J. U., & Smets, S. (2013). Logical Models of Informational Cascades. In J. van Benthem, & F. Liu (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. [details]
Baltag, A., Bergfeld, J. M., Kishida, K., Smets, S. J. L., & Zhong, S. (2012). A Decidable Dynamic Logic for Quantum Reasoning. In Pre-proceedings of The workshop on Quantum Physics and Logic, 2012
Baltag, A., Renne, B., & Smets, S. (2012). The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In L. Ong, & R. de Queiroz (Eds.), Logic, Language, Information and Computation: 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6 2012: proceedings (pp. 168-190). (Lecture Notes in Computer Science; Vol. 7456), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-32621-9_13[details]
2011
Baltag, A., & Smets, S. (2011). Correlated Information: A Logic for Multi-Partite Quantum Systems. Electronic Notes in Theoretical Computer Science, 270(2), 3-14. https://doi.org/10.1016/j.entcs.2011.01.020[details]
Baltag, A., Gierasimczuk, N., & Smets, S. (2011). Belief Revision as a Truth-Tracking Process. In K. R. Apt (Ed.), TARK XIII: Theoretical Aspects of Rationality and Knowledge : proceedings of the Thirteenth Conference (TARK 2011) (pp. 187-190). ACM. https://doi.org/10.1145/2000378.2000400[details]
2010
Baltag, A., & Smets, S. (2010). Correlated Knowledge: An Epistemic-Logic View on Quantum Entanglement. International Journal of Theoretical Physics, 49(12), 3005-3021. https://doi.org/10.1007/s10773-010-0411-5[details]
Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., & de Lima, T. (2008). ‘Knowable’ as ‘known after an announcement’. Review of Symbolic Logic, 1(3), 305-334. https://doi.org/10.1017/S1755020308080210[details]
Baltag, A., & Smets, S. (2008). A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, & M. Wooldridge (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. http://www.vub.ac.be/CLWF/SS/chapter.pdf[details]
Baltag, A., & Smets, S. (2008). The logic of conditional doxastic actions. In K. R. Apt, & R. van Rooij (Eds.), New Perspectives on Games and Interaction (pp. 9-31). (Texts in logic and games; Vol. 4). Amsterdam University Press. http://www.nomic.net/~uckelman/tmp/tlg/tlg4.pdf[details]
Baltag, A., Seligman, J., & Yamada, T. (2017). Preface. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. V-VI). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8[details]
Gogoladze, K., & Baltag, A. (2017). Evidence-based Belief Revision for Non-omniscient Agents. In XII Tbilisi Symposium of Language, Logic and Computation: Lagodekhi, Georgia, 18-22 September 2017 (pp. 83-86). Centre for Language, Logic and Speech at the Tbilisi State University. https://archive.illc.uva.nl/Tbilisi/Tbilisi2017/index.html[details]
Cina, G., & Baltag, A. (2016). Bisimulation for conditional modalities (extended version). In ILLC Technical Reports
2015
Baltag, A., Bezhanishvili, N., Ozgun, A., & Smets, S. J. L. (2015). The Topological Theory of Belief. ILLC Pre-publication PP-2015-18.
Baltag, A., Christoff, Z. L., Rendsvig, R. K., & Smets, S. J. L. (2015). Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks. ILLC Pre-publication PP-2015-22.
Baltag, A., Renne, B., & Smets, S. (2015). Revisable Justified Belief: Preliminary Report. (1 ed.) Institute for Logic, Language, Information and Computation (ILLC), University of Amsterdam. https://arxiv.org/abs/1503.08141
Baltag, A., & Smets, S. (2014). On the Trails of Logical Dynamics: a bird’s-eye view of this volume. In A. Baltag, & S. Smets (Eds.), Johan van Benthem on Logic and Information Dynamics (pp. xv-lxix). (Outstanding contributions to logic; Vol. 5). Springer. https://doi.org/10.1007/978-3-319-06025-5[details]
2012
Baltag, A., Grossi, D., Rodenhauser, L. B., Marcoci, A., & Smets, S. J. L. (Eds.) (2012). LIRa-seminar, Dynamics Yearbook 2011. Local Publisher.
2008
Baltag, A. (2008). Alexandru Baltag. In V. F. Hendricks, & D. Pritchard (Eds.), Epistemology: 5 questions (pp. 21-37). (5 questions). Automatic Press. [details]
Prize / grant
Baltag, A. (2022). Birthday workshop: Exploring Baltag's Universe.
Özgün, A., Baltag, A. & Canavotto, I. (2021). Responsible Artificial Agency: A Logical Perspective.
Baltag, A. (20-03-2015). Televised Interview TV. Televised Interview for the National Television of the Republic of Moldova, as part of a documentary on the workshop ``Foundations of Informatics 2015”. http://foi.math.md/speakers.html
Talk / presentation
Smets, S. J. L. (speaker) & Baltag, A. (speaker) (9-2016). Group Knowledge in Interrogative Epistemology, Hintikka Memorial Conference, Helsinki.
2021
Li, D. (2021). Formal threads in the social fabric: Studies in the logical dynamics of multi-agent interaction. [details]
Vargas Sandoval, A. L. (2020). On the path to the truth: Logical & computational aspects of learning. Amsterdam: Institute for Logic, Language and Computation. [details]
The UvA website uses cookies and similar technologies to ensure the basic functionality of the site and for statistical and optimisation purposes. It also uses cookies to display content such as YouTube videos and for marketing purposes. This last category consists of tracking cookies: these make it possible for your online behaviour to be tracked. You consent to this by clicking on Accept. Also read our Privacy statement
Necessary
Cookies that are essential for the basic functioning of the website. These cookies are used to enable students and staff to log in to the site, for example.
Necessary & Optimalisation
Cookies that collect information about visitor behaviour anonymously to help make the website work more effectively.
Necessary & Optimalisation & Marketing
Cookies that make it possible to track visitors and show them personalised adverts. These are used by third-party advertisers to gather data about online behaviour. To watch Youtube videos you need to enable this category.