Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Dr. A. (Alexandru) Baltag

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
  • Science Park 105
  • Kamernummer: F2.42
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • Publicaties

    2023

    2022

    • Baltag, A., & Smets, S. (2022). Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic. Applied Sciences, 12(9), Article 4458. https://doi.org/10.3390/app12094458 [details]
    • Baltag, A., Bezhanishvili, N., & Fernández González, S. (2022). Topological Evidence Logics: Multi-agent Setting. In A. Özgün, & Y. Zinova (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers (pp. 237-257). (Lecture Notes in Computer Science; Vol. 13206), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-030-98479-3_12 [details]
    • Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2022). Justified belief, knowledge, and the topology of evidence. Synthese, 200(6), Article 512. https://doi.org/10.1007/s11229-022-03967-6 [details]
    • Baltag, A., Li, D., & Pedersen, M. Y. (2022). A Modal Logic for Supervised Learning. Journal of Logic, Language and Information, 31(2), 213-234. https://doi.org/10.1007/s10849-022-09359-w [details]
    • Bezhanishvili, N., Baltag, A., & Fernández-Duque, D. (2022). The topology of surprise. In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning: Haifa, Israel. July 31–August 5, 2022 IJCAI. https://doi.org/10.24963/kr.2022/4

    2021

    2020

    • 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. Advance online publication. 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., Bezhanishvili, N., Özgün, A., & Smets, S. (2019). A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), 205-244. Advance online publication. 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. Advance online publication. https://doi.org/10.1007/s11225-018-9812-x [details]
    • 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, Article 100485. Advance online publication. 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]

    2018

    • Baltag, A., & Cinà, G. (2018). Bisimulation for conditional modalities. Studia Logica, 106(1), 1–33. Advance online publication. https://doi.org/10.1007/s11225-017-9723-2 [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]

    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). 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., Seligman, J., & Yamada, T. (Eds.) (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., Ö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). https://plato.stanford.edu/archives/fall2016/entries/dynamic-epistemic/ [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]

    2015

    2014

    • 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. Advance online publication. 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. Advance online publication. 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. Advance online publication. 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]

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

    2010

    2009

    • Baltag, A., & Smets, S. (2009). Group belief dynamics under iterated revision: Fixed points and cycles of joint upgrades. In 12th Conference on Theoretical Aspects of Rationality and Knowledge: TARK '09 : California, July 06-08, 2009 (pp. 41-50). ACM. https://doi.org/10.1145/1562814.1562824 [details]
    • Baltag, A., & Smets, S. (2009). Learning by questions and answers: From belief-revision cycles to doxastic fixed points. In H. Ono, M. Kanazawa, & R. de Queiroz (Eds.), Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings (pp. 124-139). (Lecture Notes in Computer Science; Vol. 5514), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-02261-6_11 [details]
    • Baltag, A., Smets, S., & Zvesper, J. A. (2009). Keep 'hoping' for rationality: A solution to the backward induction paradox. Synthese, 169(2), 301-333. https://doi.org/10.1007/s11229-009-9559-z [details]

    2008

    2024

    2023

    2020

    • Baltag, A., & Barbosa, L. S. (2020). Preface. 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. vi). (Lecture Notes in Computer Science; Vol. 12005). Springer. https://doi.org/10.1007/978-3-030-38808-9 [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). 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]

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

    Prijs / subsidie

    • Baltag, A. (2022). Birthday workshop: Exploring Baltag's Universe.
    • Özgün, A., Baltag, A. & Canavotto, I. (2021). Responsible Artificial Agency: A Logical Perspective.

    Mediaoptreden

    Spreker

    • 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. [Thesis, fully internal, Universiteit van Amsterdam, Tsinghua University]. [details]

    2020

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

    2018

    • Gattinger, M. (2018). New Directions in Model Checking Dynamic Epistemic Logic. [Thesis, fully internal, Universiteit van Amsterdam]. [details]

    2017

    • Cinà, G. (2017). Categories for the working modal logician. [Thesis, fully internal, Universiteit van Amsterdam]. [details]
    • Galeazzi, P. (2017). Play without regret. [Thesis, fully internal, Universiteit van Amsterdam]. [details]
    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.
  • Nevenwerkzaamheden
    • Geen nevenwerkzaamheden
contactgegevens bewerken   bewerk profielinformatie