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.

Dr. A. (Alexandru) Baltag

Faculty of Science
ILLC

Visiting address
  • Science Park 105
  • Room number: F2.42
Postal address
  • Postbus 94242
    1090 GE Amsterdam
Contact details
  • Publications

    2021

    • 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]

    2020

    • 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]

    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). Berlin: Springer. https://doi.org/10.1007/978-3-662-59533-6_11 [details]
    • Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2019). A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), 205-244. https://doi.org/10.1007/s10992-018-9463-4 [details]
    • Baltag, A., Gierasimczuk, N., & Smets, S. (2019). Truth-Tracking by Belief Revision. Studia Logica, 107(5), 917–947. https://doi.org/10.1007/s11225-018-9812-x [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]
    • Özgün, A., Baltag, A., Vargas Sandoval, A. L., Smets, S. J. L., & Gierasimczuk, N. (2019). A Dynamic Logic for Learning Theory. Journal of Logical and Algebraic Methods in Programming.

    2018

    2017

    • 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). Berlin: 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]

    2016

    • 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). Cham: 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). Cham: Springer. https://doi.org/10.1007/978-3-319-20451-2_38 [details]

    2015

    • Baltag, A., & Smets, S. (2015). Logics of Informational Interactions. Journal of Philosophical Logic, 44(6), 595-607. https://doi.org/10.1007/s10992-015-9345-y [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). Chennai: The Institute of Mathematical Sciences. [details]

    2014

    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). Heidelberg: 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]

    2012

    • Baltag, A., & Smets, S. (2012). The Dynamic Turn in Quantum Logic. Synthese, 186(3), 753-773. https://doi.org/10.1007/s11229-011-9915-7 [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 Brussels.
    • 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). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-32621-9_13 [details]

    2011

    2010

    2008

    • 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 dynamic-logical perspective on quantum behavior. Studia Logica, 89(2), 187-211. https://doi.org/10.1007/s11225-008-9126-5 [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: Amsterdam University Press. [details]
    • Baltag, A., & Smets, S. (2008). Probabilistic dynamic belief revision. Synthese, 165(2), 179-202. https://doi.org/10.1007/s11229-008-9369-8 [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: Amsterdam University Press. [details]
    • Baltag, A., Smets, S., & Zvesper, J. A. (2008). When all is done but not (yet) said: Dynamic rationality in extensive games. In Workshop on Logic and Intelligent Interaction, ESSLLI 2008 (pp. 58-73) [details]

    2017

    • 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). Berlin: Springer. https://doi.org/10.1007/978-3-662-55665-8 [details]

    2016

    • 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

    2014

    • Baltag, A., & Smets, S. (2014). Johan van Benthem on Logic and Information Dynamics. (Outstanding contributions to logic; Vol. 5). Cham: Springer. https://doi.org/10.1007/978-3-319-06025-5 [details]
    • 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). Cham: 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. Amsterdam: 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]

    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]

    2020

    • Vargas Sandoval, A. L. (2020). On the path to the truth: Logical & computational aspects of learning. Amsterdam: Institute for Logic, Language and Computation. [details]

    2018

    • Gattinger, M. (2018). New Directions in Model Checking Dynamic Epistemic Logic. [details]

    2017

    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    • No ancillary activities