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.