-
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.Conference contribution | https://doi.org/10.1145/1562814.1562824 | UvA-DAREBaltag, A., Smets, S. (2009) Learning by questions and answers: From belief-revision cycles to doxastic fixed points.In Ono, H. Kanazawa, M. de Queiroz, R. (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
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 5514). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-02261-6_11 | UvA-DAREBaltag, A., Smets, S. (2010) Correlated Knowledge: An Epistemic-Logic View on Quantum Entanglement.International Journal of Theoretical Physics, Vol. 49 (pp 3005-3021)Article | https://doi.org/10.1007/s10773-010-0411-5 | UvA-DAREBaltag, A., Smets, S. (2011) Quantum Logic as a Dynamic Logic.Synthese, Vol. 179 (pp 285-306)Article | https://doi.org/10.1007/s11229-010-9783-6 | UvA-DAREBaltag, A., Smets, S. (2011) Correlated Information: A Logic for Multi-Partite Quantum Systems.Electronic Notes in Theoretical Computer Science, Vol. 270 (pp 3-14)Article | https://doi.org/10.1016/j.entcs.2011.01.020 | UvA-DAREBaltag, A., Smets, S. (2011) Keep Changing Your Beliefs, Aiming for the Truth.Erkenntnis, Vol. 75 (pp 255-270)Article | https://doi.org/10.1007/s10670-011-9294-y | UvA-DAREBaltag, A., Smets, S. (2012) The Dynamic Turn in Quantum Logic.Synthese, Vol. 186 (pp 753-773)Article | https://doi.org/10.1007/s11229-011-9915-7 | UvA-DAREBaltag, A., Smets, S. (2013) Protocols for Belief Merge: Reaching Agreement via Communication.Logic Journal of the IGPL, Vol. 21 (pp 468-487)Article | https://doi.org/10.1093/jigpal/jzs049 | UvA-DAREBaltag, A., Smets, S. (2014) On the Trails of Logical Dynamics: a bird’s-eye view of this volume.In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp xv-lxix) (Outstanding contributions to logic, Vol. 5). Springer.Chapter | https://doi.org/10.1007/978-3-319-06025-5 | UvA-DAREBaltag, A., Smets, S. (2014) Johan van Benthem on Logic and Information Dynamics.Outstanding contributions to logic, Vol. 5. Springer.Book (Editorship) | https://doi.org/10.1007/978-3-319-06025-5 | UvA-DAREBaltag, A., Smets, S. (2015) Logics of Informational Interactions.Journal of Philosophical Logic, Vol. 44 (pp 595-607)Article | https://doi.org/10.1007/s10992-015-9345-y | UvA-DAREBaltag, A., Smets, S. (2016) A Qualitative Theory of Dynamic Interactive Belief Revision.In Arló-Costa, H. Hendricks, V.F. van Benthem, J. (Eds.), Readings in Formal Epistemology: Sourcebook (pp 813-858) (Springer Graduate Texts in Philosophy, Vol. 1). Springer.Chapter | https://doi.org/10.1007/978-3-319-20451-2_39 | UvA-DAREBaltag, A., Smets, S. (2017) Modeling correlated information change: from conditional beliefs to quantum conditionals.Soft Computing, Vol. 21 (pp 1523-1535)Article | https://doi.org/10.1007/s00500-017-2499-5 | UvA-DAREBaltag, A., Smets, S. (2020) Learning what others know.In Albert, E. Kovács, L. (Eds.), LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp 90-119) (EPiC Series in Computing, Vol. 73). EasyChair.Conference contribution | https://doi.org/10.29007/plm4 | UvA-DAREBaltag, A., Smets, S. (2022) Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic.Applied Sciences, Vol. 12Article | https://doi.org/10.3390/app12094458 | UvA-DAREBaltag, A., Smets, S. (2023) Logic meets Wigner's Friend (and their Friends).ArXiv.Preprint | https://doi.org/10.48550/arXiv.2307.01713 | UvA-DAREBaltag, A., Soares Barbosa, L. (2020) Preface.In Soares Barbosa, L. Baltag, A. (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.Foreword/postscript | https://doi.org/10.1007/978-3-030-38808-9 | UvA-DAREBaltag, A., van Benthem, J.F.A.K., Westerståhl, D. (2023) Compositionality in Context.In Palmigiano, A. Zadrzadeh, M. (Eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond (pp 773-812) (Outstanding Contributions to Logic, Vol. 25). Springer.Chapter | https://doi.org/10.1007/978-3-031-24117-8_21 | UvA-DAREBaltag, A., van Benthem, J.F.A.K. (2020) Some Thoughts on the Logic of Imprecise Observation.In Ying, X. (Eds.), 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.Baltag, A., van Benthem, J.F.A.K. (2021) A Simple Logic of Functional Dependence.Journal of Philosophical Logic, Vol. 50 (pp 939-1005)Article | https://doi.org/10.1007/s10992-020-09588-z | UvA-DAREThe data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl