Welcome to my papers on belief revision and belief update
2006
1) A. Baltag and S. Smets, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, in G. Mints and R. de Queiroz (eds.), Proceedings of WOLLIC 2006, Electronic Notes in Theoretical Computer Science, 165, pp. 5-21, 2006.
2) A. Baltag and S. Smets, The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision, in S. Artemov and R. Parikh (eds.), Proceedings of the Workshop on Rationality and Knowledge, p.13-30, ESSLLI 2006.
3) A. Baltag and S. Smets, Dynamic Belief Revision over Multi-Agent Plausibility Models, in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006), p. 11-24, University of Liverpool, 2006.
2007
4) A. Baltag and S. Smets, From Conditional Probability to the Logic of Doxastic Actions, in Proceedings of TARKXI, Brussels 2007. Collection in ACM DL.
5) A. Baltag and S. Smets, Probabilistic Dynamic Belief Revision, in Johan van Benthem, Shier Ju and Frank Veltman (eds.), A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007,College Publications, Computing Series, Vol 8, London 2007.
2008
6) A. Baltag and S. Smets, 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, Texts in Logic and Games, Vol 3, pp.9-58, Amsterdam University Press, 2008
7) A. Baltag and S. Smets, The Logic of Conditional Doxastic Actions, In R. van Rooij and K. Apt (eds.), New Perspectives on Games and Interaction, Texts in Logic and Games, Amsterdam University Press, 2008.
8) A. Baltag and S. Smets, Probabilistic Dynamic Belief Revision, in Synthese, Vol. 165, Nr 2, pp.179-202, 2008.
2009
9) A. Baltag and S. Smets, Learning by Questions and Answers: From Belief- Revision Cycles to Doxastic Fixed Points. In: Makoto Kanazawa, Hiroakira Ono, en Ruy de Queiroz (eds.) LNAI Lecture Notes in Computer Science. pp. 124-139. Volume 5514. 2009
10) A. Baltag and S. Smets. Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades. In: Proceedings of Theoretical Aspects of Rationality and Knowledge TARK , 2009.
11) A. Baltag and S. Smets. Talking Your Way into Agreement: Belief Merge by Persuasive Communication. CEUR Workshop Proceedings, Vol. 494, Proceedings of the Second Multi- Agent Logics, Languages, and Organisations Federated Workshops Turin , Italy, September 7-10, 2009. pp. 129 - 141. 2009
2011
12) A. Baltag and S. Smets. Keep changing your beliefs and aiming for the truth. in T. Kuipers and G. Schurz (eds.), Erkenntnis , 75(2), pp. 255-270, 2011.
13) A. Baltag, N. Gierasimczuk and S, Smets. Belief Revision as a Truth Tracking Process, In: Proceedings of Theoretical Aspects of Rationality and Knowledge, TARK 2011
2012
14) A. Baltag, B. Rodenhaeuser and S. Smets. Doxastic Attitudes as Belief Revision Policies. Online pre-proceedings of LBP 2012 (the ESSLLI special Workshop on “Strategies for Learning, Belief revision and Preference change” ), Opole, Poland, August 2012.
15) A. Baltag, B. Renne and S. Smets. The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In Lecture Notes in Computer Science , Vol. 7456, pp. 168-190 (volume of the 19th Workshop on Logic, Language, Information and Computation), 2012.
2013
16) A. Baltag and S. Smets, Protocols for Belief Merge: Reaching Agreement via Communication, Logic Journal of the IGPL , Volume 21, Number 3, pp.468-487, 2013.
17) A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge. In Lecture Notes in Computer Science , Volume 8196, pp.27-40, 2013.
18) A. Baltag, Z. Christoff, J.U. Hansen and S. Smets. Logical Models of Informational Cascades. In Studies in Logic . College Publications, 2013.
2014
19) A. Baltag, V. Fiutek and S. Smets. DDL as an “Internalization” of Dynamic Belief Revision. In K. Segerberg on Logic of Action, Outstanding Contributions to Logic Series , Vol. 1, Springer, pp.253-280, 2014.
20) A. Baltag, B. Renne and S. Smets. The Logic of Justified Belief, Explicit Knowledge and Conclusive Evidence. Annals of Pure and Applied Logic , Volume 165, Number 1, pp.49-81, 2014.
21) A. Baltag, S. Smets. On the Trails of Logical Dynamics: a bird’s-eye view of this volume. In Johan van Benthem on Logic and Information Dynamics , Outstanding Contributions to Logic Series, Volume 5, 55 pages, pp. xv-lxix, Springer, 2014. PDF via Springer Open Access
2015
22) J. van Benthem, S. Smets. Dynamic Logics of Belief Change. In H. van Ditmarsch, J.Y. Halpern, W. van der Hoek and B. Kooi (Eds.). Handbook of Logics for Knowledge and Belief , College Publications, pp.313-393, 2015. ILLC Pre-publication PP-2015-05.
23) A. Baltag, S. Smets. Logics of Informational Interactions, Journal of Philosophical Logic , online first 26 April 2015.
24) A. Baltag, N. Gierasimczuk, S. Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. In R. Ramanumam, (ed.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge , TARK 2015, Electronic Proceedings in Theoretical Computer Science, in print 2015. ILLC Pre-publication PP-2015-13.
2016
26) A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topological Theory of Belief, pre-print 2015. ILLC Pre-publication PP-2015-18.
27) A. Baltag, Z. Christoff, R. K. Rendsvig, and S. Smets. Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks. pre-print 2015. ILLC Pre-publication PP-2015-22.
28) A. Baltag, B. Renne, S. Smets. Revisable Justified Belief: Preliminary Report. Cornell Univ. Library Pre-publication arxiv 1503.08141
29) A. Baltag, N. Bezhanishvili, A. Ozgun and S. Smets. Justified Belief and theTopology of Evidence. Lecture Notes in Computer Science, vol. 9803, pp. 83-103, 2016.
30) A. Baltag, V. Fiutek and S. Smets. Belief and Evidence in Justification Models. In Advances in Modal Logic, vol. 11, pp. 156-176, (Eds) Lev Beklemishev, Stéphane Demri and András Máté, College Publications, 2016
2017
31) A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Full and Weak Belief. Proceedings of the 11th International Tbilisi Symposium on Language, Logic and Computation in Lecture Notes in Computer Science , 10148, 205-228, 2017. ILLC Pre-publication PP-2014-03.
32) A. Baltag and S. Smets. Modeling correlated information change: from conditional beliefs to quantum conditionals, Soft computing, online first 2017.
2018
33) A. Baltag, R. Boddy and S. Smets. Group Knowledge in interrogative Epistemology. Springer Series ' Outstanding Contributions to Logic', volume dedicated to J. Hintikka, 2018. ILLC-preprint
34) A. Baltag, N. Gierasimczuk, A.L. Vargas, A. Özgün and S. Smets, A Dynamic Logic for Learning Theory, Proceedings of DALI Workshop, Lecture Notes of Computer Science, vol. 10669, Springer 2018.
35) A. Baltag, N. Gierasimczuk, S. Smets, Truth-tracking by belief revision. In Studia Logica , online first 2018. ILLC Pre-publication 2014, PP-2014-20.
36) A. Baltag, Z. Christoff, R. Rendsvig, S. Smets. Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks, Studia Logica, 1-43, online first, 2018.
37) A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. A Topological Approach to Full Belief. Journal of Philosophical Logic, online first, 2018.
2019
38) S. Smets and F. Velazquez Quesada. Philosophical Aspects of Multi-Modal Logic, in the Stanford Encyclopedia of Philosophy.
39) A. Baltag, S. Rafiee Rad and S.Smets, Learning Probabilities: Towards a Logic of Statistical Learning, Proceedings of the Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, EPTCS 297, pp. 35-49.
2020
40) A. Baltag and S. Smets, Learning what Others Know, in L. Kovacs and E. Albert (eds.), LPAR23 proceedings of the International Conference on Logic for Programming AI and Reasoning, EPiC Series in Computing, Volume 73, pp 90-110, 2020.
41) S. Smets and F. R. Velázquez-Quesada, An Introduction to Logic as the Study of Informational Processes. Open Press TiU
2021
42) A. Baltag, S. Rafiee Rad and S. Smets, Tracking Probabilistic Truths: a logic for statistical learning. Part of the special issue on Approaching Probabilistic Truths, Synthese 2021.
2022
43) A. Baltag, N. Bezhanishvili, A. Ozgun, and S. Smets, Justified Belief, Knowledge, and the Topology of
Evidence. in Synthese 200(6), 2022