For best experience please turn on javascript and use a modern browser!

prof. dr. S.J.L. (Sonja) Smets

Logica en epistemologie
Faculty of Science
ILLC

Visiting address
  • Oude Turfmarkt 145
Postal address
  • Oude Turfmarkt 145
    1012 GC Amsterdam
Contact details
  • Profiel

    Since June 2016, I am the scientific director of the Institute for Logic, Language and Computation at the University of Amsterdam. 

    As a full professor of Logic and Epistemology at the Institute for Logic, Language and Computation, at the University of Amsterdam, I hold a double affiliation in the Faculty of Science and the Faculty of Humanties. I am 50% employed in Science and 50% employed in the Humanities. I joined the ILLC in 2012.

    I combine my position in Amsterdam with a 0.2Fte temporary appointment as Professor II at the Logic, Information and Interaction Group, Department of Information Science and Media Studies, University of Bergen, Norway. I joined the team in Bergen in January 2019.

    Honours and Awards

    • 2019 - I'm a new elected member of the Academia Europaea.
    • 2012 - 2017 ERC Starting Grant: The Logical Structure of Correlated Information Change. See  our ERC LogiCIC project website.
    • 2010 - 2015 VIDI Research Grant: Reasoning about Quantum Interaction. NWO. See our vidi-project website
    • 2009 - 2012 Rosalind Franklin Fellowship, University of of Groningen
    • 2012 Awarded with the Birkhoff-Von Neumann Prize
    • 2015 Awarded with the Hermann Lotze Prize
    • Member of the NIAS-Lorentz advisory board from May 2017 onwards
    • Member of the Management Board of FOLLI,  The Association for Logic, Language and Information. from August 2016 onwards
    • Member of the Steering Committee for the Workshop series on Decisions, Games and Logic (DGL) from 2014 onwards
    • Awarded Fellow of the Tsinghua University – University of Amsterdam Joint Research Center for Logic (TALKC), July 2014 - July 2017

    Fields of Scholarship

    • Dynamic epistemic logic, i.e. a series of logical systems designed to study and model information change in systems consisting of interacting agents. We build models of how agents update their knowledge individually and in group and how they revise their beliefs when new information comes in.  We focus e.g. on the effect of (semi)-private and public communication, on higher-order reasoning and on the mechanisms of social influence.
    • Quantum logic: this is work in the Logical foundations of quantum physics which has a long history. We design such logics and apply them to the analysis and verification of protocols in quantum information and quantum communication.
    • Formal epistemology: we use the formal tools coming from logic to analyze different epistemic attitudes ranging from belief to knowledge as well as their dynamics. These systems can be applied to analyze philosophical theories including epistemic paradoxes.
    • Social epistemology: we study agent's epistemic attitudes in a social context. Our latest work focusses on the use of logic to characterize and study information flow, opinion formation, social influence, informational cascades, homophily and polarization in social networks.
    • Logics for Multi-Agent Systems in AI: we use the above mentioned logics to study the intelligent interaction between agents in AI. These systems can advance research on human-computer interaction, learning, strategic reasoning and epistemic planning.

    I'm currently a member of the Amsterdam Dynamics Group, together with group we run the weekly LIRa seminar on Logic and Interactive Rationality. My previous affiliations and memberships include: the Center for Logic and Philosophy of Science (CLWF) in Brussels, the Oxford University Research Group on the Philosophy of Information (IEG), the Research Group in Philosophy of Information (GPI) at the University of Hertfordshire, the group in Brussels working on Foundations of Exact Sciences (FUND) and the Center Leo Apostel (CLEA) in Brussels.

    Teaching

    I proud to teach a course on Epistemic Paradoxes and Philosophical Puzzles in ILLC's international Master of Logic Programme. Further I teach a Bachelor course on Logic and Society in Philosophy and in the international Minor on Logic and Computation. In these courses I show how logic,  the science of truth and reasoning, but also game theory and probability theory belong to the most important tools to analyze different processes of information flow. This ranges from the analysis of epistemic paradoxes to the advencement of our understanding of how beliefs are formed but also how they can be manipulated in society (e.g. via the spread of fake news).

    Editorial Boards

    Personal Homepage:
    https://sites.google.com/site/thesonjasmetssite/

  • Publications

    2019

    • Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. J. L. (2019). A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), 205.
    • Proietti, C., Grossi, D., Smets, S., & Velázquez-Quesada, F. R. (2019). Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. In P. Blackburn, E. Lorini, & M. Guo (Eds.), Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Proceedings (pp. 214-229). (Lecture Notes in Computer Science; Vol. 11813). Springer. https://doi.org/10.1007/978-3-662-60292-8_16
    • Schulz, K., Xie, K., Smets, S. J. L., & Velazquez Quesada, F. R. (2019). A logical and empirical study of right-nested counterfactuals. In Proceedings of Logic, Rationality, and Interaction; 7th International Workshop.
    • Smets, S., & Velazquez-Quesada, F. R. (2019). A logical study of group-size based social network creation. Journal of Logical and Algebraic Methods in Programming, 106, 117-140. https://doi.org/10.1016/j.jlamp.2019.05.003
    • Solaki, A., Berto, F., & Smets, S. (2019). The Logic of Fast and Slow Thinking. Erkenntnis. https://doi.org/10.1007/s10670-019-00128-z
    • van Lee, H., & Smets, S. J. L. (2019). The Logic of Observation and Belief Revision in Scientific Communities. Journal for General Philosophy of Science. https://doi.org/10.1007/s10838-018-9436-x

    2018

    • 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). Cham: Springer. https://doi.org/10.1007/978-3-319-62864-6_5 [details]
    • Baltag, A., Gierasimczuk, N., & Smets, S. (2018). Truth-Tracking by Belief Revision. Studia Logica. https://doi.org/10.1007/s11225-018-9812-x
    • Shi, C., Smets, S., & Velázquez-Quesada, F. R. (2018). Beliefs Based on Evidence and Argumentation. 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. 289-306). (Lecture Notes in Computer Science; Vol. 10944), (FoLLI Publications on Logic, Language and Information). Berlin: Springer. https://doi.org/10.1007/978-3-662-57669-4_17 [details]
    • Shi, C., Smets, S., & Velázquez-Quesada, F. R. (2018). Beliefs supported by binary arguments. Journal of Applied Non-Classical Logics, 28(2-3), 165-188. https://doi.org/10.1080/11663081.2018.1457254 [details]
    • Smets, S. J. L., & Velazquez Quesada, F. R. (2018). A logical perspective on social group creation. In P. Arazim, & T. Lavicka (Eds.), The Logica Yearbook 2017 (pp. 271-288). UK: College Publications.
    • Smets, S., & Solaki, A. (2018). The effort of reasoning: modelling the inference steps of boundedly rational agents. 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. 307-324). (Lecture Notes in Computer Science; Vol. 10944), (FoLLI Publications on Logic, Language and Information). Berlin: Springer. https://doi.org/10.1007/978-3-662-57669-4_18 [details]
    • Smets, S., & Velázquez-Quesada, F. R. (2018). The creation and change of social networks: a logical study based on group size. 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. 171-184). (Lecture Notes in Computer Science; Vol. 10669). Cham: Springer. https://doi.org/10.1007/978-3-319-73579-5_11 [details]

    2017

    • 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., Ö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]
    • Rad, S. R., Shirinkalam, E., & Smets, S. (2017). A Logical Analysis of Quantum Voting Protocols. International Journal of Theoretical Physics, 56(12), 3991-4003. https://doi.org/10.1007/s10773-017-3409-4 [details]
    • Shi, C., Smets, S., & Velázquez-Quesada, F. R. (2017). Argument-based belief in topological structures. Electronic Proceedings in Theoretical Computer Science, 251, 489-503. https://doi.org/10.4204/EPTCS.251.36 [details]
    • Smets, S., & Velázquez-Quesada, F. R. (2017). How to make friends: A logical approach to social group creation. 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. 377-390). (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_26 [details]

    2016

    • 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]
    • Smets, S. (2016). Belief dynamics in a social context. 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. XIX). (Lecture Notes in Computer Science; Vol. 9803). Berlin: Springer. https://doi.org/10.1007/978-3-662-52921-8 [details]
    • Smets, S. (2016). Informational cascades: A test for rationality? 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. XVI-XVIII). (Lecture Notes in Computer Science; Vol. 9803). Berlin: Springer. https://doi.org/10.1007/978-3-662-52921-8 [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]
    • van Benthem, J., & Smets, S. (2015). Dynamic Logics of Belief Change. In H. van Ditmarsch, J. Halpern, W. van der Hoek, & B. Kooi (Eds.), Handbook of epistemic logic (pp. 313-394). London: College Publications. [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.
    • Smets, S. J. L. (2013). Reasoning about Quantum Actions: A Logician’s Perspective. In The Philosophy of Science in European Perspective, New Challenges to Philosophy of Science (pp. 125-134)

    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]
    • van Benthem, J., & Smets, S. (2012). New logical perspectives on physics. Synthese, 186(3), 615-617. https://doi.org/10.1007/s11229-011-9911-y [details]

    2011

    2010

    2008

    • 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]

    2007

    • Baltag, A., & Smets, S. J. L. (2007). From Conditional Probability to the Logic of Doxastic Actions. In Proceedings of TARK XI (pp. 52-61). Electronic Collection in ACM DL. [details]
    • Baltag, A., & Smets, S. J. L. (2007). Probabilistic Dynamic Belief Revision. In J. van Benthem, S. Ju, & F. Veltman (Eds.), A Meeting of the Minds: proceedings of the Workshop on Logic, Rationality and Interaction (pp. 21-41). (Computing Series; Vol. 8). London: College Publications. [details]

    2006

    • Baltag, A., & Smets, S. J. L. (2006). LQP: The Dynamic Logic of Quantum Information. Mathematical Structures in Computer Science, 16(3), 491-525. https://doi.org/10.1017/S0960129506005299
    • Smets, S. J. L. (2006). From Intuitionistic Logic to Dynamic Operational Quantum Logic. In Essays in Logic and Ontology - dedicated to Jerzy Perzanowski, Poznan Studies in Philosophy and the Humanities (pp. 257-275)

    2015

    • Allo, P., Poggiolesi, F., & Smets, S. (2015). Dynamics in Logic: Introduction. Logique et Analyse, 58(230), 143-144. https://doi.org/10.2143/LEA.230.0.3141806 [details]
    • 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]
    • Gierasimczuk, N., Smets, S. J. L., Christoff, Z. L., & Galeazzi, P. (2014). Logic and Interactive Rationality Yearbook 2012. Amsterdam: ILLC, UvA.

    2012

    • Baltag, A., Grossi, D., Rodenhauser, L. B., Marcoci, A., & Smets, S. J. L. (2012). LIRa-seminar, Dynamics Yearbook 2011. Amsterdam: Local Publisher.

    2016

    • Shi, C., & Smets, S. (2016). Beliefs supported by Arguments. 6-11. Paper presented at 1st Chinese Conference on Logic and Argumentation, CLAR 2016, Hangzhou, China.

    Talk / presentation

    • Smets, S. J. L. (speaker) & Baltag, A. (speaker) (9-2016). Group Knowledge in Interrogative Epistemology, Hintikka Memorial Conference, Helsinki, Finland.
    • Smets, S. J. L. (speaker) (2016). Reasoning in a social world, logical models for informational cascades, LOFT 2016.
    • Smets, S. J. L. (speaker) (2016). Informational Cascades, a test for rationality?, The Copenhagen Association for Dynamics, Interaction, Logic, Language, and Computation (CADILLAC).
    • Smets, S. J. L. (speaker) (2016). Beliefs and Evidence in Justification Models, Advances in Modal Logic 2016, Budapest.
    • Smets, S. J. L. (speaker) (2016). Informational Cascades, a test for rationality?, 23rd International Workshop, WoLLIC 2016.

    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.
  • Ancillary activities
    • No ancillary activities