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

Logica en epistemologie
  • Faculty of Humanities
    Faculty of Science
  • 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/
 

2017

  • 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 

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

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. M., Kishida, K., Sack, J. H., Smets, S. J. L., & 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 
  • Baltag, A., Fiutek, V., & Smets, S. J. L. (2014). DDL as an "Internalization" of Dynamic Belief Revision. In R. Trypuz (Ed.), Outstanding Contributions to Logic. (pp. 253-280). Springer.
  • 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. Lecture Notes in Computer Science, 8071, 64-80. DOI: 10.1007/978-3-642-39992-3_9 
  • Baltag, A., Bezhanishvili, N., Ozgun, A., & Smets, S. J. L. (2013). The Topology of Belief, Belief Revision and Defeasible Knowledge. Lecture Notes in Computer Science, 8196, 27-40.
  • 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. 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. Lecture Notes in Computer Science, 7456, 168-190. DOI: 10.1007/978-3-642-32621-9_13  [details] 

2011

  • Baltag, A., & Smets, S. (2011). Correlated Information: A Logic for Multi-Partite Quantum Systems. Electronic Notes in Theoretical Computer Science, 270, 3-14.
  • 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 
  • Baltag, A., & Smets, S. (2011). Quantum Logic as a Dynamic Logic. Synthese, 179(2), 285-306. DOI: 10.1007/s11229-010-9783-6 
  • 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

  • Baltag, A., & Smets, S. J. L. (2010). Correlated Knowledge, An Epistemic-Logic View on Quantum Entanglement. International Journal of Theoretical Physics, 49(12), 3005-3021. DOI: 10.1007/s10773-010-0411-5 

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

  • Baltag, A., Boddy, R., & Smets, S. J. L. (in preparation). Group knowledge in interrogative epistemology. In Volume dedicated to J. Hintikka, 2016.. (Outstanding contributions to logic). Springer.

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

Keynote / invited lecture

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

edit contact information edit tabs