Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

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

Logica en epistemologie
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC

Bezoekadres
  • Science Park 105
Postadres
  • Postbus 94242
    1090 GE Amsterdam
  • Profiel


    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.

    From June 2016 till June 2021 I was the scientific director of the Institute for Logic, Language and Computation at the University of Amsterdam. 

    From 2019 till 2022 I did 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. 

    Honours and Awards

    • 9/2022 - member of the Royal Netherlands Academy of Arts and Sciences (KNAW)
    • 2019 - I'm an 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 courses on the logical foundations of quantum mechanics and 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 study of quantum logic and the analysis of epistemic paradoxes to the advencement of our understanding of how beliefs are formed andt 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/

  • Publicaties

    2023

    2022

    2021

    2020

    • Baltag, A., & Smets, S. (2020). Learning what others know. In E. Albert, & L. Kovács (Eds.), LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 90-119). (EPiC Series in Computing; Vol. 73). EasyChair. https://doi.org/10.29007/plm4
    • Barbero, F., Schulz, K., Smets, S., Velázquez-Quesada, F. R., & Xie, K. (2020). Thinking About Causation: A Causal Language with Epistemic Operators. In M. A. Martins, & I. Sedlár (Eds.), Dynamic Logic : New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020 : revised selected papers (pp. 17-32). (Lecture Notes in Computer Science; Vol. 12569). Springer. https://doi.org/10.1007/978-3-030-65840-3_2, https://doi.org/10.48550/arXiv.2010.16217 [details]
    • Pedersen, M. Y., Smets, S., & Ågotnes, T. (2020). Further Steps Towards a Logic of Polarization in Social Networks. In M. Dastani, H. Dong, & L. van der Torre (Eds.), Logic and Argumentation: Third International Conference, CLAR 2020, Hangzhou, China, April 6–9, 2020 : proceedings (pp. 324-345). (Lecture Notes in Computer Science; Vol. 12061), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-44638-3_20 [details]
    • Smets, S., & Velázquez-Quesada, F. R. (2020). A Closeness- and Priority-Based Logical Study of Social Network Creation. Journal of Logic, Language and Information, 29(1), 21–51. Advance online publication. https://doi.org/10.1007/s10849-019-09311-5 [details]
    • Smets, S., & Velázquez-Quesada, F. R. (2020). A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. In L. Soares Barbosa, & A. Baltag (Eds.), Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings (pp. 71-87). (Lecture Notes in Computer Science; Vol. 12005). Springer. https://doi.org/10.1007/978-3-030-38808-9_5 [details]
    • van Lee, H. S., & Smets, S. (2020). The Logic of Observation and Belief Revision in Scientific Communities. Journal for General Philosophy of Science, 51(2), 243–266. Advance online publication. https://doi.org/10.1007/s10838-018-9436-x [details]

    2019

    • Baltag, A., Bezhanishvili, N., Özgün, A., & Smets, S. (2019). A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), 205-244. Advance online publication. https://doi.org/10.1007/s10992-018-9463-4 [details]
    • Baltag, A., Christoff, Z., Rendsvig, R. K., & Smets, S. (2019). Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks (journal paper). Studia Logica, 107(3), 489-531. https://doi.org/10.1007/s11225-018-9804-x
    • Baltag, A., Gierasimczuk, N., & Smets, S. (2019). Truth-Tracking by Belief Revision. Studia Logica, 107(5), 917–947. Advance online publication. https://doi.org/10.1007/s11225-018-9812-x [details]
    • Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A. L., & Smets, S. (2019). A Dynamic Logic for Learning Theory. Journal of Logical and Algebraic Methods in Programming, 109, Article 100485. Advance online publication. https://doi.org/10.1016/j.jlamp.2019.100485 [details]
    • Baltag, A., Rad, S. R., & Smets, S. (2019). Learning Probabilities: Towards a Logic of Statistical Learning. Electronic Proceedings in Theoretical Computer Science, 297, 35-49. https://doi.org/10.4204/EPTCS.297.3 [details]
    • Pedersen, M. Y., Smets, S., & Ågotnes, T. (2019). Analyzing Echo Chambers: A Logic of Strong and Weak Ties. In P. Blackburn, E. Lorini, & M. Guo (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp. 183-198). (Lecture Notes in Computer Science; Vol. 11813), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-60292-8_14 [details]
    • 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, Chongqing, China, October 18–21, 2019 : proceedings (pp. 214-229). (Lecture Notes in Computer Science; Vol. 11813), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-60292-8_16 [details]
    • Schulz, K., Smets, S., Velázquez-Quesada, F. R., & Xie, K. (2019). A logical and empirical study of right-nested counterfactuals. In P. Blackburn, E. Lorini, & M. Guo (Eds.), Logic, Rationality, and Interaction: 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019 : proceedings (pp. 259-272). (Lecture Notes in Computer Science; Vol. 11813), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-60292-8_19 [details]
    • Smets, S., & Velázquez-Quesada, F. (2019). Philosophical Aspects of Multi-Modal Logic. Stanford Encyclopedia of Philosophy, 2019(Summer). https://plato.stanford.edu/entries/phil-multimodallogic/ [details]
    • Smets, S., & Velázquez-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. Advance online publication. https://doi.org/10.1016/j.jlamp.2019.05.003 [details]

    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). Springer. https://doi.org/10.1007/978-3-319-62864-6_5 [details]
    • Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A. L., & Smets, S. (2018). A dynamic logic for learning theory. 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. 35-54). (Lecture Notes in Computer Science; Vol. 10669). Springer. https://doi.org/10.1007/978-3-319-73579-5_3 [details]
    • 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). 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., & 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). Springer. https://doi.org/10.1007/978-3-662-57669-4_18 [details]
    • Smets, S., & Velázquez-Quesada, F. R. (2018). A logical perspective on social group creation. In P. Arazim, & T. Lávička (Eds.), The Logica Yearbook 2017 (pp. 271-288). College Publications. [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). 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). 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). 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). 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). 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. (2016). Beliefs and Evidence in Justification Models. In L. Beklemishev, S. Demri, & A. Máté (Eds.), Advances in Modal Logic: AiML 11 (pp. 156-176). College Publications. http://www.aiml.net/volumes/volume11/Baltag-Fiutek-Smets.pdf [details]
    • 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). 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). Springer. https://doi.org/10.1007/978-3-662-52921-8 [details]

    2015

    2014

    • Baltag, A., Bergfeld, J., Kishida, K., Sack, J., Smets, S., & Zhong, S. (2014). PLQP & Company: Decidable Logics for Quantum Algorithms. International Journal of Theoretical Physics, 53(10), 3628-3647. Advance online publication. https://doi.org/10.1007/s10773-013-1987-3 [details]
    • Baltag, A., Fiutek, V., & Smets, S. (2014). DDL as an "Internalization" of Dynamic Belief Revision. In R. Trypuz (Ed.), Krister Segerberg on logic of actions (pp. 253-280). (Outstanding contributions to logic; Vol. 1). Springer. https://doi.org/10.1007/978-94-007-7046-1_12 [details]
    • Baltag, A., Renne, B., & Smets, S. (2014). The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence. Annals of Pure and Applied Logic, 165(1), 49-81. Advance online publication. https://doi.org/10.1016/j.apal.2013.07.005 [details]

    2013

    • Baltag, A., & Smets, S. (2013). Protocols for Belief Merge: Reaching Agreement via Communication. Logic Journal of the IGPL, 21(3), 468-487. Advance online publication. 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). 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). Springer. https://doi.org/10.1007/978-3-642-40948-6_3 [details]
    • Baltag, A., Christoff, Z., 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). College Publications. [details]
    • Smets, S. (2013). Reasoning about Quantum Actions: A Logician’s Perspective. In H. Andersen, D. Dieks, W. J. Gonzalez, T. Uebel, & G. Wheeler (Eds.), New Challenges to Philosophy of Science (pp. 125-134). (The Philosophy of Science in a European Perspective; Vol. 4). Springer. https://doi.org/10.1007/978-94-007-5845-2_11 [details]

    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
    • 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). 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

    2009

    • Baltag, A., & Smets, S. (2009). Group belief dynamics under iterated revision: Fixed points and cycles of joint upgrades. In TARK '09: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (pp. 41-50). ACM. https://doi.org/10.1145/1562814.1562824
    • Baltag, A., & Smets, S. (2009). Learning by questions and answers: From belief-revision cycles to doxastic fixed points. In H. Ono, M. Kanazawa, & R. de Queiroz (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; Vol. 5514), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-02261-6_11 [details]
    • Baltag, A., Smets, S., & Zvesper, J. A. (2009). Keep 'hoping' for rationality: A solution to the backward induction paradox. Synthese, 169(2), 301-333. https://doi.org/10.1007/s11229-009-9559-z

    2008

    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). College Publications. [details]

    2006

    • Baltag, A., & Smets, S. (2006). Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. Electronic Notes in Theoretical Computer Science, 165(SPEC. ISS.), 5-21. https://doi.org/10.1016/j.entcs.2006.05.034
    • 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)

    2005

    2004

    • Coecke, B., & Smets, S. (2004). The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes. International Journal of Theoretical Physics, 43(7-8), 1705-1736. https://doi.org/10.1023/B:IJTP.0000048815.92983.6e

    2000

    1999

    1998

    • Aerts, D., Broekaert, J., & Smets, S. (1998). Inconsistencies in constituent theories of world views: Quantum mechanical examples. Foundations of Science, 3(2), 313-340. https://doi.org/10.1023/A:1009686326442

    2023

    2016

    • Shi, C., & Smets, S. (2016). Beliefs supported by Arguments. In T. Ågotnes, B. Liao, & Y. N. Wang (Eds.), Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016): Hangzhou, China, April 2-3, 2016 (pp. 6-11). (CEUR Workshop Proceedings; Vol. 1811). CEUR-WS. https://ceur-ws.org/Vol-1811/paper1.pdf [details]

    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. (2015). Revisable Justified Belief: Preliminary Report. (1 ed.) Institute for Logic, Language, Information and Computation (ILLC), University of Amsterdam. https://arxiv.org/abs/1503.08141

    2014

    • Baltag, A., & Smets, S. (2014). Johan van Benthem on Logic and Information Dynamics. (Outstanding contributions to logic; Vol. 5). 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). 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. ILLC, UvA.

    2012

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

    Mediaoptreden

    Spreker

    • Smets, S. J. L. (speaker) & Baltag, A. (speaker) (9-2016). Group Knowledge in Interrogative Epistemology, Hintikka Memorial Conference, Helsinki.
    • 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.

    Andere

    • Smets, S. (organiser), Rafiee Rad, S. (organiser) & Gattinger, M. (organiser) (4-2022). Logic4Peace: fundraising online Logic event for Peace, Amsterdam (organising a conference, workshop, ...).
    • Helberger, N. (organiser), de Vreese, C. (organiser) & Smets, S. (organiser) (13-10-2020). Humane Conversations with Max Welling (Guest speaker).. Cohost - Organised by RPA Human(e ) AI. Hosts: Natali Helberger, Claes de Vreese & Sonja Smets (organising a conference, workshop, ...).
    • Gierasimczuk, N. (organiser), Smets, S. (organiser), Galeazzi, P. (organiser) & Christoff, Z. L. (organiser) (3-12-2013 - 5-12-2013). Social Dynamic of Information Change, ILLC, UvA (organising a conference, workshop, ...).
    • Gierasimczuk, N. (organiser), Smets, S. (organiser) & Christoff, Z. L. (organiser) (14-12-2012 - 15-12-2012). Belief Change in Social Context, ILLC, UvA (organising a conference, workshop, ...).

    2017

    • Galeazzi, P. (2017). Play without regret. [Thesis, fully internal, Universiteit van Amsterdam]. [details]
    • Özgün, A. (2017). Evidence in epistemic logic: A topological perspective. [Thesis, fully internal, Universiteit van Amsterdam, Université de Lorraine]. [details]
    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
    • LOWI, Wetenschappelijke Integriteit
      lid van de LOWI adviescommissie