Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
EN

dhr. 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

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

    2016

    • Achimescu, A., Baltag, A., & Sack, J. (2016). The Probabilistic Logic of Communication and Change. Journal of Logic and Computation. https://doi.org/10.1093/logcom/exv084
    • Baltag, A. (2016). To Know is to Know the Value of a Variable. In L. Beklemishev, S. Demri, & A. Máté (Eds.), Volume 11: Advances in Modal Logic (Vol. 11, pp. 135-155). (AiML). College Publications.
    • 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). Berlin: 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. J. L. (2016). Beliefs and Evidence in Justification Models. In L. Beklemishev, S. Demri, & A. Máté (Eds.), Volume 11: Advances in Modal Logic (Vol. 11, pp. 156-176). (AiML). College Publications.
    • 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). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-40948-6_3 [details]
    • Baltag, A., Christoff, Z. L., 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). London: College Publications.

    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. J. L. (2015). Revisable Justified Belief: Preliminary Report. Cornell Univ. Library Pre-publication arxiv 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. (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]

    Spreker

    • Smets, S. J. L. (speaker) & Baltag, A. (speaker) (9-2016). Group Knowledge in Interrogative Epistemology, Hintikka Memorial Conference, Helsinki, Finland.

    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.
  • Nevenwerkzaamheden
    • Geen nevenwerkzaamheden