Welcome to my papers on Dynamic Quantum Logic
2004
1) A. Baltag and S. Smets. The Logic of Quantum Programs, in the 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 PhilSci-arXiv)
2005
2) A. Baltag and S. Smets. Complete Axiomatizations for Quantum Actions, in the proceedings of IQSA 2004, International Journal of Theoretical Physics 44(12): p.2267-2282, 2005.
3) A. Baltag and S. Smets. What can Logic Learn from Quantum Mechanics? , presented at the ECAP 2005 workshop on quantum information in Lisbon, Portugal, 2005.
2006
4) 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. (This is a revision/extension of "The Logic of Quantum Programs").
2008
5) 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.
2010
6) A. Baltag and S. Smets. Correlated Knowledge, An Epistemic-Logic View on Quantum Entanglement, International Journal of Theoretical Physics , Online First July 2010, Springer
7) S. Smets, Logic and Quantum Physics. In Amitabha Gupta and Johan van Benthem (eds.), Journal of the Indian Council of Philosophical Research Special Issue , Volume XXVII, No2, 2010.
8) D. Aerts, S. Smets and J.P. van Bendegem. The Contributions of Logic to the Foundations of Physics: Foreword", editorial introduction, Special issue of Studia Logica, vol. 95, Nr 1-2, pp. 1-3, 2010. Online at Springer.
2011
9) A. Baltag and S. Smets. Correlated Information: A Logic for Multi- Partite Quantum Systems. In Bob Coecke and Prakash Panangaden (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.
10) A. Baltag and S. Smets. Quantum Logic as a Dynamic Logic, In: Theo Kuipers, Johan van Benthem and Henk Visser (eds.), Synthese, special issue.
2012
11) A. Baltag and S. Smets, The Dynamic Turn in Quantum Logic, Synthese, 186(3), 2012. Online at Springer
12) J. van Benthem and S. Smets, New Logical Perspectives on Physics, editorial introduction, Special issue of Synthese on Logic meets Physics, Volume 186, Number 3, 615-617, 2012. Online at Springer
13) 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
14) 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.
15) 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.
2014
16) 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.
2015
17) A. Baltag and S. Smets. Logics of Informational Interactions, Journal of Philosophical Logic, 44, pp.595-607, 2015.
2017
18) S. Rafiee Rad, E. Shirinkalam, S. Smets. A Logical Analysis of Quantum Voting Protocols, International Journal of Theoretical Physics, Volume 56 (12), pp 3991–4003, 2017.
19) A. Baltag and S. Smets. Modeling correlated information change: from conditional beliefs to quantum conditionals, Soft computing, Volume 21 (6), pp 1523–1535, March 2017.
2019
20) Soroush Rafiee Rad, Amir Hossein Sharafi and Sonja Smets. A Complete Axiomatisation for the Logic of Lattice Effect Algebras. International Journal of Theoretical Physics, online first, 2019.
2022
21) A.Baltag and S. Smets, Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic.
Applied Sciences (Special Issue on Quantum Logics), Vol.12 (9), 4458, 2022.
2023
22) A. Baltag and S. Smets, Logic meets Wigner’s Friend (and their Friends), Preprint, submitted for publication, 2023.