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

Logica en epistemologie
  • Faculty of Science
    ILLC
  • Postal address:
    Oude Turfmarkt  145
    1012 GC  Amsterdam
  • S.J.L.Smets@uva.nl
    T: 0205256508

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/
 

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. DOI: 10.1007/978-3-319-62864-6_5  [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. DOI: 10.1007/978-3-319-73579-5_11  [details] 

2017

  • Rad, S. R., Shirinkalam, E., & Smets, S. (2017). A Logical Analysis of Quantum Voting Protocols. International Journal of Theoretical Physics, 56(12), 3991-4003. DOI: 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. DOI: 10.4204/EPTCS.251.36  [details] 
  • Baltag, A., & Smets, S. (2017). Modeling correlated information change: from conditional beliefs to quantum conditionals. Soft Computing, 21(6), 1523-1535. DOI: 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. DOI: 10.1007/978-3-662-54332-0_12  [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. DOI: 10.1007/978-3-662-55665-8_26  [details] 

2016

  • 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. DOI: 10.4204/EPTCS.215.7  [details] 
  • 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. DOI: 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. DOI: 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., Gierasimczuk, N., & Smets, S. J. L. (in press). Truth-Tracking by Belief Revision. Studia Logica.
  • 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. DOI: 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. DOI: 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. DOI: 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

  • 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. DOI: 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). Dordrecht: Springer. DOI: 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. DOI: 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. DOI: 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. DOI: 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. DOI: 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

  • van Benthem, J., & Smets, S. (2012). New logical perspectives on physics. Synthese, 186(3), 615-617. DOI: 10.1007/s11229-011-9911-y  [details] 
  • Baltag, A., & Smets, S. (2012). The Dynamic Turn in Quantum Logic. Synthese, 186(3), 753-773. DOI: 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. DOI: 10.1007/978-3-642-32621-9_13  [details] 

2011

  • Baltag, A., & Smets, S. (2011). Keep Changing Your Beliefs, Aiming for the Truth. Erkenntnis, 75(2), 255-270. DOI: 10.1007/s10670-011-9294-y  [details] 
  • Baltag, A., & Smets, S. (2011). Quantum Logic as a Dynamic Logic. Synthese, 179(2), 285-306. DOI: 10.1007/s11229-010-9783-6  [details] 
  • Baltag, A., & Smets, S. (2011). Correlated Information: A Logic for Multi-Partite Quantum Systems. Electronic Notes in Theoretical Computer Science, 270(2), 3-14. DOI: 10.1016/j.entcs.2011.01.020  [details] 
  • Baltag, A., Smets, S., & Gierasimczuk, N. (2011). Belief Revision as a Truth-Tracking Process. In A. Krzysztof (Ed.), Proceedings of TARK (pp. 187-190). ACM Digital Library.

2010

2008

  • Baltag, A., & Smets, S. (2008). A dynamic-logical perspective on quantum behavior. Studia Logica, 89(2), 187-211. DOI: 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. DOI: 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. DOI: 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)

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.

2015

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

Talk / presentation

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

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

edit contact information edit tabs