OVERVIEW OF MY PUBLICATIONS

(UNDER CONSTRUCTION: this list is currently being updated)

A) CO-EDITOR OF BOOKS/JOURNALS:

1999

• D. Aerts, S. Gutwirth, S. Smets, L. Van Langenhove (eds.): Science, Technology and Social Change, the orange book of Einstein meets Magritte , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999.

• G. Cornelis, S. Smets, J.P. Van Bendegem (eds.): Metadebates on Science, the blue book of Einstein meets Magritte , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussels, 1999.

2010

• D. Aerts, S. Smets and J.P. van Bendegem. Special issue of Studia Logica on The Contributions of Logic to the Foundations of Physics, vol. 95, Nr 1-2, pp. 1-3, 2010.

2011

• D. Grossi, S. Minica, B. Rodenhaeuser, S. Smets (eds.), LIRA - seminar, Dynamics Yearbook 2010, printed in 2011. Online at LIRa

2012

• J. van Benthem and S. Smets. Special issue of Synthese on Logic meets Physics, 186(3), 2012.

• A. Baltag, D. Grossi, B. Rodenhaeuser, A. Marcoci, S. Smets (eds.), LIRA seminar, Dynamics Yearbook 2011. Printed in 2012.

2014

• Z. Christoff, P. Galeazzi, N. Gierasimczuk, A. Marcoci and S. Smets (main eds.), A. Baltag, W. Holliday and F. Liu (collecting eds.), LIRA seminar, Dynamics Yearbook 2012. 2 volumes, Amsterdam, Printed in 2014.

• A. Baltag, S. Smets (eds.) Johan van Benthem on Logic and Information Dynamics , Outstanding Contributions to Logic Series, Volume 4, Springer, 2014. Introduction to the Volume via Springer Open Access

2015

• P. Allo, F. Poggiolesi, S. Smets (eds.), Special issue of Logique et Analyse on “Dynamics in Logic”, Vol 58, No 230, 2015.

2017

• M. Dalla Chiara, R. Giuntini, G. Sergioli and S. Smets (eds). Special issue of Soft Computing on “Logic, Music and Quantum Information”, Issue 6, 2017.

B) PUBLICATIONS IN JOURNALS, CONFERENCES AND BOOKS:

1999

• S. Gutwirth, S. Smets and L. Van Langenhove: Editorial introduction: " Blurring the Colors of "Einstein meets Magritte" ", in Science, Technology and Social Change , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999.

• D. Aerts, B. Coecke and S. Smets: " On the Origin of Probabilities in Quantum Mechanics: Creative and Contextual Aspects ", in Metadebates on Science , Kluwer Ac. Pub. & VUB press, Dordrecht/Brussel, 1999.

• D. Aerts, J. Broekaert and S. Smets: "The Liar-Paradox in a Quantum Mechanical Perspective", Foundations of Science , 4, No. 2, p.115-132, 1999. (quant-ph/0007047)

• D. Aerts, J. Broekaert and S. Smets: "Inconsistencies in Constituent Theories of World Views: Quantum Mechanical Examples", Foundations of Science , 3, No. 2, p.313-340, 1999.

2000

• D. Aerts, J. Broekaert and S. Smets: "A Quantum Structure Description of the Liar-paradox", International Journal of Theoretical Physics , 38, No. 12, p. 3231-3239, 2000. (quant-ph/0106131)

• B. Coecke and S. Smets: "A Logical Description for Perfect Measurements", International Journal of Theoretical Physics , 39, p.519-599, 2000. (quant-ph/0008017)

2001

• S. Smets: "On Causation and a Counterfactual in Quantum Logic: The Sasaki Hook", Logique et Analyse , 44, 173-175, p. 307-325, 2001. The proceedings of the Ist Flemish - Polish Workshop on Adaptive and Erotetic Logics and Their Applications to the Philosophy of Science. (PITT PHIL SCI 00000619)

• S. Smets: "The Logic of Physical Properties in Static and Dynamic Perspective", Ph.D Thesis, Vrije Universiteit Brussel, 9th May 2001.

2002

• E. Myin and S. Smets: " Could Dancing be Coupled Oscillation? - The Interactive Approach to Linguistic Communication and Dynamical Systems Theory ", commentary on S. Shanker and B.J. King "The Emergence of a New Paradigm in Ape Language Research", Behavioral and Brain Sciences, 25, No 5, p.634-635, 2002.

2003

• S. Smets: "In Defense of Operational Quantum Logic", Logic and Logical Philosophy , 11, p.191-212, 2003. Proceedings of Vla Po Lo. (PITT - PHIL - SCI 00000541)

2004

• S. Smets: "Classical Reasoning About Quantum Systems", Logic Colloquium 2003 Abstract. in Bulletin of Symbolic Logic, vol. 11, nr.2, p.270-271, 2004.

• B. Coecke, D.J. Moore and S. Smets: "Logic of Dynamics & Dynamics of Logic; Some Paradigm Examples", in D. Gabbay, S. Rahman, J.M. Torres and J.P. Van Bendegem (eds.), Logic, Epistemology and the Unity of Science , 2004. (math.LO/0106059)

• B. Coecke and S. Smets: "The Sasaki Hook is not a [Static] Implicative Connective but Induces a Backward [in Time] Dynamic One that Assigns Causes", in the proceedings of the 5th International Quantum Structures Association Meeting, in International Journal of Theoretical Physics 43, pp. 1705-1736, 2004 (quant-ph/0111076)

• A. Baltag and S. Smets: "The Logic of Quantum Programs", proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL 2004), TUCS General Publication No 33, Turku Center for Computer Science, 2004. (also on Phil Sci arXiv)

2005

• A. Baltag and S. Smets: "Complete Axiomatizations for Quantum Actions", International Journal of Theoretical Physics , 44 (12): p.2267-2282,2005.

• A. Baltag and S. Smets: "What can Logic Learn from Quantum Mechanics?" workingpaper, presented at ECAP 2005, Fifth European Congress for Analytic Philosophy, Lisbon.

• S. Smets: "The Modes of Physical Properties in the Logical Foundations of Physics", Logic and Logical Philosophy , 14, 37-53, 2005.

2006

• S. Smets: " From Intuitionistic Logic to Dynamic Operational Quantum Logic ", in Essays in Logic and Ontology - dedicated to Jerzy Perzanowski , Poznan Studies in the Philosophy of the Sciences and the Humanities . 91, 2006.

• A. Baltag and S. Smets: "LQP: The Dynamic Logic of Quantum Information", in Mathematical Structures in Computer Science , special issue on Quantum Programming Languages, 16 (3): p.491-525,2006.

• A. Baltag and S. Smets, "Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision", in G. Mints and R. de Queiroz (eds.), Proceedings of WOLLIC 2006, Electronic Notes in Theoretical Computer Science, 165, pp. 5-21, 2006.

• A. Baltag and S. Smets, "The Logic of Conditional Doxastic Actions: A Theory of dynamic multi-agent belief revision", in S. Artemov and R. Parikh (eds.), Proceedings of the Workshop on Rationality and Knowledge, p.13-30, ESSLLI 2006.

• A. Baltag and S. Smets, "Dynamic Belief Revision over Multi-Agent Plausibility Models", in G. Bonanno, W. van der Hoek, M. Woolridge (eds.), Proceedings of the 7th Conference on Logic and the Foundations of Game and Decision (LOFT 2006), p. 11-24, University of Liverpool, 2006.

2007

• A. Baltag and S. Smets, "From Conditional Probability to the Logic of Doxastic Actions", in D. Samet (ed.), Proceedings of TARKXI, pp.52-61,Brussels 2007. Electronic Collection in ACM DL.

• A. Baltag and S. Smets, "Probabilistic Dynamic Belief Revision", in Johan van Benthem, Shier Ju and Frank Veltman (eds.), A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing, 2007, College Publications , Computing Series, Vol 8, London 2007.

2008

• A. Baltag and S. Smets, "A Dynamic - Logical Perspective on Quantum Behavior", in I. Douven and L. Horsten (eds.) Studia Logica , special issue on Applied Logic in the Philosophy of Science, vol. 89, pp.185-209, 2008.

• A. Baltag and S. Smets, "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, Texts in Logic and Games, Vol 3, pp.9-58, Amsterdam University Press, 2008

• A. Baltag and S. Smets, “The Logic of Conditional Doxastic Actions”, In R. van Rooij and K. Apt (eds.), New Perspectives on Games and Interaction, Texts in Logic and Games, vol. 4, pp. 9-31, Amsterdam University Press, 2008.

• A. Baltag and S. Smets, “Probabilistic Dynamic Belief Revision”, in Synthese, Vol. 165, Nr 2, pp.179-202, 2008.

• A. Baltag, S. Smets and J. Zvesper, "When all is done but not (yet) said: Dynamic rationality in extensive games", in J. van Benthem and E. Pacuit (eds.), (pre)-proceedings of the Workshop on Logic and Intelligent Interaction, ESSLLI 2008, pp.58-73, 2008. Available on-line at http://ai.stanford.edu/~epacuit/LaII/proceedings.html.

2009

• A. Baltag, S. Smets and J. A. Zvesper. Keep ‘hoping’ for rationality: a solution to the backward induction paradox. In: Synthese. Volume 169, Number 2 / July, pp. 301-333, 2009.

• A. Baltag and S. Smets, "Learning by Questions and Answers: From Belief- Revision Cycles to Doxastic Fixed Points". In: Makoto Kanazawa, Hiroakira Ono, en Ruy de Queiroz (eds.) LNAI Lecture Notes in Computer Science. pp. 124-139. Volume 5514. 2009

• A. Baltag and S. Smets."Group Belief Dynamics under Iterated Revision: Fixed Points and Cycles of Joint Upgrades". In: Proceedings of Theoretical Aspects of Rationality and Knowledge, pp.41-50, TARK 2009.

• A. Baltag and S. Smets. "Talking Your Way into Agreement: Belief Merge by Persuasive Communication". CEUR Workshop Proceedings, Vol. 494, Proceedings of the Second Multi- Agent Logics, Languages, and Organisations Federated Workshops Turin, Italy, September 7-10, 2009. pp. 129 - 141. 2009

• A. Baltag and S. Smets. Correlated Information: A Logic for Multi- Partite Quantum Systems. In Bob Coecke, Prakash Panangaden and Peter Selinger (eds.) Pre-proceedings of the 6th Workshop on Quantum Physics and Logic, pp. 4-14, Oxford, 2009.

2010

• A. Baltag and S. Smets. “Correlated Knowledge, An Epistemic-Logic View on Quantum Entanglement", International Journal of Theoretical Physics , Volume 49, Number 12, Pages 3005-3021, 2010.

• A. Baltag and S. Smets. "A Semantic View on Ramsey's Test, Xabier Arrazola and Marıa Ponte (eds.) Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication, and Action. LogKCA-10, Univ. of the Basque Country Press, pp.119-134, 2010.

• S. Smets, "Logic and Quantum Physics". In Amitabha Gupta and Johan van Benthem (eds.), Journal of the Indian Council of Philosophical Research Special Issue , vol. XXVII, No 2., pp.203-227, 2010.

2011

• A. Baltag and S. Smets. “Quantum Logic as a Dynamic Logic", In: Theo Kuipers, Johan van Benthem and Henk Visser (eds.), Synthese, special issue. Volume 179, Number 2, pp. 285-306, 2011.

• A. Baltag and S. Smets. Correlated Information: A Logic for Multi- Partite Quantum Systems. In Bob Coecke, Prakash Panangaden and Peter Selinger (eds.) Electronic Notes in Theoretical Computer Science ENTCS. (Proceedings of the 6th Workshop on Quantum Physics and Logic, Oxford). vol. 270, pp.3-14, 2011.

• A. Baltag and S. Smets. "Keep changing your beliefs and aiming for the truth". in T. Kuipers and G. Schurz (eds.), Erkenntnis, 75(2), pp. 255-270, 2011.

• A. Baltag, N. Gierasimczuk and S, Smets. "Belief Revision as a Truth Tracking Process", 2011 In: Proceedings of Theoretical Aspects of Rationality and Knowledge, TARK 2011

2012

• A. Baltag and S. Smets, "The Dynamic Turn in Quantum Logic", Synthese, 186(3), 2012.

• A. Baltag, B. Rodenhaeuser and S. Smets. Doxastic Attitudes as Belief Revision Policies. Online pre-proceedings of LBP 2012 (the ESSLLI special Workshop on “Strategies for Learning, Belief revision and Preference change” ), Opole, Poland, August 2012.

• A. Baltag, B. Renne and S. Smets. The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge. In Lecture Notes in Computer Science , Vol. 7456, pp. 168-190 (volume of the 19th Workshop on Logic, Language, Information and Computation), 2012.

• A. Baltag, J. Bergfeld, K. Kishida, S. Smets and S. Zhong. A Decidable Dynamic Logic for Quantum Reasoning, Pre Proceedings of the 9th QPL workshop on Quantum Physics and Logic, Brussels 2012.

2013

• A. Baltag and S. Smets, Protocols for Belief Merge: Reaching Agreement via Communication, Logic Journal of the IGPL , Volume 21, Number 3, pp.468-487, 2013.

• S. Smets, Reasoning about Quantum Actions: A Logician’s Perspective. In H. Andersen, D. Dieks, W. Gonzalez, Th. Uebel, G. Wheeler (Eds.), The Philosophy of Science in European Perspective, New Challenges to Philosophy of Science, Volume 4, pp. 125-134, 2013.

• A. Baltag, J. Bergfeld, K. Kishida, J. Sack, S. Smets and S. Zhong. Quantum Probabilistic Dyadic Second Order Logic. In L. Libkin, U. Kolhenbach and R. de Quieroz (Eds.), Lecture Notes in Computer Science, Volume 8071, pp. 64-80, 2013.

• A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Belief, Belief Revision and Defeasible Knowledge. In Lecture Notes in Computer Science , Volume 8196, pp.27-40, 2013.

• A. Baltag, Z. Christoff, J.U. Hansen and S. Smets. Logical Models of Informational Cascades. In Studies in Logic . College Publications, 2013.

2014

• A. Baltag, V. Fiutek and S. Smets. DDL as an “Internalization” of Dynamic Belief Revision. In K. Segerberg on Logic of Action, Outstanding Contributions to Logic Series , Vol. 1, Springer, pp.253-280, 2014.

• A. Baltag, J. Bergfeld, K. Kishida, J. Sack, S. Smets and S. Zhong. PLQP & Company: Decidable Logics for Quantum Algorithms. International Journal of Theoretical Physics, Volume 53, Issue 10, pp 3628-3647, 2014.

• A. Baltag, B. Renne and S. Smets. The Logic of Justified Belief, Explicit Knowledge and Conclusive Evidence. Annals of Pure and Applied Logic , Volume 165, Number 1, pp.49-81, 2014.

• A. Baltag, S. Smets. On the Trails of Logical Dynamics: a bird’s-eye view of this volume. In Johan van Benthem on Logic and Information Dynamics , Outstanding Contributions to Logic Series, Volume 5, 55 pages, pp. xv-lxix, Springer, 2014. PDF via Springer Open Access

2015

• J. van Benthem, S. Smets. Dynamic Logics of Belief Change. In H. van Ditmarsch, J.Y. Halpern, W. van der Hoek and B. Kooi (Eds.). Handbook of Logics for Knowledge and Belief , College Publications, pp.313-393, 2015. ILLC Pre-publication PP-2015-05.

• A. Baltag, S. Smets. Logics of Informational Interactions, Journal of Philosophical Logic , vol 44, 595–607, 2015. [online first 26 April 2015].

• A. Baltag, N. Gierasimczuk, S. Smets. On the Solvability of Inductive Problems: A Study in Epistemic Topology. In R. Ramanumam, (ed.), Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge , TARK 2015, Electronic Proceedings in Theoretical Computer Science, in print 2015. ILLC Pre-publication PP-2015-13.

• A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topological Theory of Belief, Manuscript. 2015. ILLC Pre-publication PP-2015-18.

• A. Baltag, N. Gierasimczuk, S. Smets, Truth-tracking by belief revision. Manuscript, 2015. ILLC Pre-publication PP-2014-20.

• A. Baltag, Z. Christoff, R. K. Rendsvig, and S. Smets. Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks. ILLC Pre-publication PP-2015-22.

• A. Baltag, B. Renne, S. Smets. Revisable Justified Belief: Preliminary Report. Cornell Univ. Library Pre-publication arxiv 1503.08141

2016

• S. Smets. Reasoning about Classical and Quantum Interaction, Abstract in Bulletin of Symbolic Logic, (Logic Colloquium 2015) in print.

• C. Shi and S. Smets. Beliefs supported by Arguments, in the proceedings of the Chinese Conference on Logic and Argumentation (CLAR 2016), CEUR proceedings collection, 2016.

• A. Baltag, N. Bezhanishvili, A. Ozgun and S. Smets. Justified Belief and theTopology of Evidence. Lecture Notes in Computer Science, vol. 9803, pp. 83-103, 2016.

• A. Baltag, V. Fiutek and S. Smets. Belief and Evidence inJustification Models. In Advances in Modal Logic, vol. 11, pp. 156-176, (Eds) Lev Beklemishev, Stéphane Demri and András Máté, College Publications, 2016.

2017

• S. Rafiee Rad, E. Shirinkalam, S. Smets. A LogicalAnalysis of Quantum Voting Protocols, International Journal of Theoretical Physics, 56(12), pp. 3991-4003, 2017.

• A. Baltag and S. Smets. Modeling correlated information change: from conditional beliefs to quantum conditionals, Soft computing, 21(6), pp.1523-1535, 2017.

• S. Smets and F. R. Velázquez-Quesada, How to Make Friends: A Logical Approach toSocial Group Creation, Lecture Notes of Computer Science Volume 10455, 277-390, Springer 2017.

• C. Shi, S. Smets and F. R. Velázquez-Quesada, Argument-based Belief in Topological Structures Electronic Proceedings in Theoretical Computer Science, Vol 251, pp. 489-503. Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017.

• A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. The Topology of Full and Weak Belief. Proceedings of the 11th International Tbilisi Symposium on Language, Logic and Computation in Lecture Notes in Computer Science , vol. 10148, 205-228, 2017. (based on preprint 2015 ILLC Pre-publication PP-2014-03).

2018

• C. Shi, S. Smets and F.R. Velazquez-Quesada. Belief based on evidence and argumentation. In the proceedings volume of WOLLIC 2018. Lecture Notes in Computer Science, vol. 10944, pp. 289-306, 2018.

• S. Smets and A. Solaki. The effort of reasoning: modelling the inference steps of boundedly rational agents. In the proceedings volume of WOLLIC 2018, Lecture Notes in Computer Science, vol. 10944, pp. 307-324, 2018.

• S. Smets and F. R. Velázquez-Quesada, The Creation and Change of Social Networks: a logical study based on group size. Proceedings of DALI Workshop, Lecture Notes in Computer Science, vol. 10669, pp. 171-184, Springer. 2018.

• A. Baltag, N. Gierasimczuk, A.L. Vargas, A. Özgün and S. Smets, A Dynamic Logic for Learning Theory, Proceedings of DALI Workshop, Lecture Notes in Computer Science, vol. 10669, Springer 2018.

• C. Shi, S. Smets, and F. R. Velázquez-Quesada. Beliefs supported by binary arguments. Journal of Applied Non-Classical Logics, 28 (2-3), pp. 165-188, 2018.

• S. Smets and F.R. Velazquez-Quesada. A logical perspective on social group creation. In The Logica Yearbook 2017, pp. 271-288, College Publications London, UK, 2018.

• A. Baltag, R. Boddy and S. Smets. Group knowledge in interrogative epistemology. In the Springer series ‘outstanding contributions to logic’, volume dedicated to J. Hintikka, 2018.

2019

• F. Berto, S. Smets and A. Solaki, The Logic of Fast and Slow Thinking. Erkenntnis, June 2019.

• K. Schulz, S. Smets, F. R. Velázquez-Quesada, K. Xie. A logical and empirical study of right-nested counterfactuals. In Lecture Notes in Computer Science (LNCS, volume 11813), pp. 259-272, 2019.

• C. Proietti, D. Grossi, S. Smets, F. R. Velázquez-Quesada. Bipolar Argumentation Frameworks, Modal Logic and Semantic Paradoxes. Lecture Notes in Computer Science (LNCS, volume 11813), Pages 214-229, 2019.

• M. Young Pedersen, S. Smets, T. Ågotnes. Analyzing Echo Chambers: A Logic of Strong and Weak Ties. Lecture Notes in Computer Science series (LNCS, volume 11813), Pages 183-198, 2019.

• S. Rafiee Rad, A. Hossein Sharafi and S. Smets. A Complete Axiomatisation for the Logic of Lattice Effect Algebras. International Journal of Theoretical Physics, April, 2019.

• S. Smets and F. R. Velázquez-Quesada. A logical study of group-size based social network creation. In Journal of Logical and Algebraic Methods in Programming, 106, pp. 117-140, 2019.

• F. Velazquez Quesada and S. Smets. Philosophical Aspects of Multi-Modal Logic, in the Stanford Encyclopedia of Philosophy, 2019.

• A. Baltag, N. Bezhanishvili, A. Ozgun, S. Smets. A Topological Approach to Full Belief. Journal of Philosophical Logic, 48(2), pp.205-244, 2019.

• A. Baltag, Z. Christoff, R. Rendsvig, S. Smets. Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks, Studia Logica, 107, pp. 489–531, 2019.

• A. Baltag, N. Gierasimczuk and S. Smets, Truth-tracking by belief revision. Studia Logica, 107, pp. 917–947, 2019 (based on ILLC Pre-publication PP-2014-20 from 2015).

• A. Baltag, S. Rafiee Rad and S.Smets, Learning Probabilities: Towards a Logic of Statistical Learning, Proceedings of the Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, EPTCS 297, pp. 35-49, 2019.

• A. Baltag, N. Gierasimczuk, A. Ozgun, S.Smets, A. Vargas Sandoval. A Dynamic Logic for Learning Theory. In Journal of Logical and Algebraic Methods in Programming,Vol. 109, Dec. 2019, 100485.

2020

• S. Smets and A. Solaki. The effort of reasoning: modelling the inference steps of boundedly rational agents. in the Journal of Logic, Language and Information, Forthcoming 2020-2021.

• S. Smets and F. R. Velázquez-Quesada. A closeness- and priority-based logical study of social network creation. In Journal of Logic, Language and Information. 29:21-51, 2020.

• H. van Lee and S. Smets, The Logic of Observation and Belief Revision in Scientific Communities. In Journal for General Philosophy of Science, 51:243–266, 2020.

• A. Baltag and S. Smets, Learning what Others Know, in L. Kovacs and E. Albert (eds.), LPAR23 proceedings, EPiC Series in Computing, 2020.

• M. Young Pedersen, S. Smets, T. Ågotnes. Further Steps Towards a Logic of Polarization in Social Networks. In CLAR 2020 proceedings, LNAI 12061, Springer, 2020.

• A. Baltag, I. Canavotto, S. Smets. Causal Agency and Responsibility: A Refinement of STIT Logic. In A. Giordani and J. Malinowski (eds.), Logic in High Definition, Trends in Logical Semantics, Springer, Berlin. Forthcoming.

• J. van Benthem, F. Liu and S. Smets, Logico-Computational Aspects of Rationality, to appear in the Handbook of Rationality, MIT Press, 2020.

C) REPUBLISHED PAPERS:

1) A. Baltag and S. Smets, “A Qualitative Theory of Dynamic Interactive Belief Revision”, Republished in (eds) H. Arlo Costa, V. Hendricks, J. van Benthem, A Formal Epistemology Reader, Springer, 2016.

2) A. Baltag and S. Smets, “Correlated Knowledge, An Epistemic Logic View on Quantum Entanglement”, International Journal of Theoretical Physics, Volume 49, Number 12, Pages 3005-3021, 2010. Preprint published in the NVTI Niewsbrief 2012.

3) S. Smets, “Logic and Quantum Physics”, Republished in College Publications, Mathematical Logic and Foundations, Logic and Philosophy Today, vol. 29-30, 2011.

4) A. Baltag, S. Smets and J.A. Zvesper. “Keep 'Hoping' for rationality: A solution to the backward induction paradox.” Preprint published in L. Kurzen and F. Velazquez Quesada (eds.), Dynamics Yearbook 2008, Logics for Dynamics of Information and Preferences, pp.84-123, ISBN 978-90-5776-199-7, 2008.