!!Sonja Smets - Selected Publications
\\
1) A. Baltag, S. Rafiee Rad and S. Smets, Learning Probabilities: Towards a Logic of Statistical Learning. Electronic Proceedings of Theoretical Computer Science, 297, pp. 35-49, 2019.\\
\\
2)  S. Smets and F. R. Velázquez-Quesada.  A logical study of group-size based social network creation.  Journal of Logical and Algebraic Methods in Programming, Volume 106, Pages 117-140, 2019.\\
\\
3) S. Smets and F. R. Velázquez-Quesada. Philosophical Aspects of Multi-Modal Logic, The Stanford Encyclopedia of Philosophy (Summer 2019 Edition), Edward N. Zalta (ed.), URL = [https://plato.stanford.edu/archives/sum2019/entries/phil-multimodallogic].\\
\\
4) H. van Lee and S. Smets, The Logic of Observation and Belief Revision in Scientific Communities. Journal for General Philosophy of Science, 1-24, published online first, 2019.\\
\\
5) A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), pp.205-244, 2019.\\
\\
6) A. Baltag, Z. Christoff, R. Rendsvig, S. Smets. Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks, Studia Logica, 107(3), pp 489–531, 2019.\\
\\
7) C. Shi, S. Smets, and F. R. Velázquez-Quesada. Beliefs supported by binary arguments. Journal of Applied Non-Classical Logics, 28 (2-3), pp. 165-188, 2018.\\
\\
8) A. Baltag, R. Boddy and S. Smets. Group knowledge in interrogative epistemology. In Hans van Ditmarsch, Gabriel Sandu (eds), Jaakko Hintikka on Knowledge and Game-Theoretical Semantics, Outstanding contributions to logic, volume 12, pp.131-164, 2018.\\
\\
9) A. Baltag, N. Gierasimczuk and S. Smets, Truth-tracking by belief revision. Studia Logica, online first, 1-31, July, 2018.\\
\\
10) C. Shi, S. Smets and F.R. Velazquez-Quesada. Belief based on evidence and argumentation. Lecture Notes in Computer Science, vol. 10944, pp. 289-306, 2018.\\
\\
11) S. Smets and A. Solaki. The effort of reasoning: modelling the inference steps of boundedly rational agents. Lecture Notes in Computer Science, vol. 10944, pp. 307-324, 2018.\\
\\
12) S. Smets and F. R. Velázquez-Quesada, The Creation and Change of Social Networks: a logical study based on group size. Lecture Notes of Computer Science, vol. 10669, pp. 171-184, Springer. 2018.\\
\\
13) A. Baltag, N. Gierasimczuk, A.L. Vargas, A. Özgün and S. Smets, A Dynamic Logic for Learning Theory, Lecture Notes of Computer Science, vol. 10669, pp.35-54, Springer 2018. \\
\\
14) S. Rafiee Rad, E. Shirinkalam, S. Smets. A Logical Analysis of Quantum Voting Protocols, International Journal of Theoretical Physics, 56(12), pp. 3991-4003, 2017.\\
\\
15) A. Baltag and S. Smets. Modeling correlated information change: from conditional beliefs to quantum conditionals, Soft computing, 21(6), pp.1523-1535, 2017.\\
\\
16) S. Smets and F. R. Velázquez-Quesada, How to Make Friends: A Logical Approach to Social Group Creation, Lecture Notes of Computer Science Volume 10455, pp. 277-390, Springer 2017.\\
\\
17) C. Shi, S. Smets and F. R. Velázquez-Quesada, Argument-based Belief in Topological Structures, Electronic Proceedings in Theoretical Computer Science, Vol 251, pp. 489-503, 2017.\\
\\
18) A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Full and Weak Belief. Lecture Notes in Computer Science, vol. 10148, pp. 205-228, 2017.  \\
\\
19) A. Baltag, V. Fiutek and S. Smets. Belief and Evidence in Justification Models. In Lev Beklemishev, Stéphane Demri and András Máté (eds), Advances in Modal Logic, vol. 11, pp. 156-176, College Publications, 2016.\\
\\
20) A. Baltag, N. Bezhanishvili, A. Ozgun and S. Smets. Justified Belief and the Topology of Evidence. Lecture Notes in Computer Science, vol. 9803, pp. 83-103, 2016.\\
\\
21) C. Shi and S. Smets. Beliefs supported by Arguments, forthcoming in the proceedings of the Chinese conference on logic and argumentation (CLAR 2016), CEUR proceedings collection 1811, pp. 6-11, 2016.  \\
\\
22) J. van Benthem and 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.\\
\\
23) A. Baltag and S. Smets, A Qualitative Theory of Dynamic Interactive Belief Revision, Republished in (eds) H. Arlo-Costa, V. Hendricks, J. van Benthem, Readings in Formal Epistemology, Springer, 2015.\\
\\
24) A. Baltag and S. Smets. Logics of Informational Interactions, Journal of Philosophical Logic, 44, pp.595-607, 2015.\\
\\
25) A. Baltag, N. Gierasimczuk and S. Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. In R. Ramanumam, (ed.), Electronic Proceedings in Theoretical Computer Science, vol.215, pp.81-98, 2015.\\
\\
26) A. Baltag and 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 4, 55 pages, pp. xv-lxix, Springer, 2014.\\
\\
27) 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.\\
\\
28) A. Baltag, J. Bergfeld, K. Kishida, J. Sack, S. Smets and S. Zhong. PLQP & Company: Decidable Logics for Quantum Algorithms. International Journal of Theoretical Physics, 53(10), pp 3628-3647, 2014.\\
\\
29) A. Baltag, B. Renne and S. Smets. The Logic of Justified Belief, Explicit Knowledge and Conclusive Evidence. Annals of Pure and Applied Logic, 165(1), pp.49-81, 2014.