Dr. A. (Alexandru) Baltag
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
- Science Park 900
- Kamernummer: F2.42
Postadres
-
Postbus 94242
1090 GE Amsterdam
Contactgegevens
-
Publicaties
2024
- Baltag, A., & Smets, S. (2024). Logic Meets Wigner’s Friend (and their Friends). International Journal of Theoretical Physics, 63(4), Article 97. https://doi.org/10.1007/s10773-024-05611-0
2023
Baltag, A., Moss, L. S., & Solecki, S. (2023). Logics for epistemic actions: completeness, decidability, expressivity. Logics, 1(2), 97-147. https://doi.org/10.3390/logics1020006 [details]- Baltag, A., van Benthem, J., & Westerståhl, D. (2023). Compositionality in Context. In A. Palmigiano, & M. Zadrzadeh (Eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond (pp. 773-812). (Outstanding Contributions to Logic; Vol. 25). Springer. https://doi.org/10.1007/978-3-031-24117-8_21 [details]
- Baltag, A., Özgün, A., & Vargas Sandoval, A. L. (2023). Arbitrary Public Announcement Logic with Memory. Journal of Philosophical Logic, 52(1), 53-110. https://doi.org/10.1007/s10992-022-09664-6 [details]
- Bezhanishvili, N., Baltag, A., & Fernández-Duque, D. (2023). The topological mu-calculus: completeness and decidability. Journal of the Association for Computing Machinery, 70(5). https://doi.org/10.48550/arXiv.2105.08231
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., & Fernández-Duque, D. (2022). 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: Haifa, Israel. July 31–August 5, 2022 (pp. 33-42). (KR; Vol. 2022). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/kr.2022/4 [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]
2021
- Baltag, A., & van Benthem, J. (2021). A Simple Logic of Functional Dependence. Journal of Philosophical Logic, 50(5), 939-1005. Advance online publication. https://doi.org/10.1007/s10992-020-09588-z [details]
- 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. Advance online publication. https://doi.org/10.1007/978-3-030-53487-5_8 [details]
- Baltag, A., Rad, S. R., & Smets, S. (2021). Tracking probabilistic truths: a logic for statistical learning. Synthese, 199(3-4), 9041-9087. https://doi.org/10.1007/s11229-021-03193-6 [details]
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 [details]
- 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. 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
- Baltag, A., & Smets, S. (2015). Logics of Informational Interactions. Journal of Philosophical Logic, 44(6), 595-607. Advance online publication. 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). The Institute of Mathematical Sciences. http://www.imsc.res.in/tark/TARK2015-proceedings.pdf [details]
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
- 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., & Smets, S. (2011). Keep Changing Your Beliefs, Aiming for the Truth. Erkenntnis, 75(2), 255-270. https://doi.org/10.1007/s10670-011-9294-y [details]
- Baltag, A., & Smets, S. (2011). Quantum Logic as a Dynamic Logic. Synthese, 179(2), 285-306. Advance online publication. https://doi.org/10.1007/s11229-010-9783-6 [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. Advance online publication. https://doi.org/10.1007/s10773-010-0411-5 [details]
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
- 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 University Press. http://www.vub.ac.be/CLWF/SS/chapter.pdf [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 University Press. http://www.nomic.net/~uckelman/tmp/tlg/tlg4.pdf [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) http://ai.stanford.edu/~epacuit/LaII/proceedings/zvesper.pdf [details]
2024
- Baltag, A., & van Benthem, J. (2024). Knowability as continuity: a topological account of informational dependence. (v1 ed.) ArXiv. https://doi.org/10.48550/arXiv.2401.06962 [details]
2023
- Baltag, A., & Smets, S. (2023). Logic meets Wigner's Friend (and their Friends). (v1 ed.) ArXiv. https://doi.org/10.48550/arXiv.2307.01713 [details]
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., Renne, B., & Smets, S. (2015). Revisable Justified Belief: Preliminary Report. (v1 ed.) ArXiv. https://doi.org/10.48550/arXiv.1503.08141 [details]
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
- Baltag, A. & Smets, S. (14-01-2021). ILLC BLOG POST [Web] ILLC BLOG POSTS. The madness of the crowds. https://resources.illc.uva.nl/illc-blog/the-madness-of-the-crowds/
- 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
Spreker
- Smets, S. J. L. (speaker) & Baltag, A. (speaker) (9-2016). Group Knowledge in Interrogative Epistemology, Hintikka Memorial Conference, Helsinki.
2021
2020
2018
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
Baltag, A., Moss, L. S., & Solecki, S. (2023). Logics for epistemic actions: completeness, decidability, expressivity. Logics, 1(2), 97-147.