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

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

    I am a full professor of logic and epistemology at the Institute for Logic, Language and Computation.
    Project leader:
    - NWO VIDI Project: "Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols" (2010-2015)
    - ERC STG LogiCIC Project: "The Logical Structure of Correlated Information Change (2012-2017).
    Personal Homepage:
    http://sonja.tiddlyspot.com/
     

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