Quantum Logic
Papers on Dynamic Quantum Logic
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.
A. Baltag and S. Smets. Logics of Informational Interactions, Journal of Philosophical Logic, 44, pp.595-607, 2015.
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, 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, 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.
A. Baltag and S. Smets, "The Dynamic Turn in Quantum Logic", Synthese, 186(3), 2012.
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.
A. Baltag and S. Smets. “Quantum Logic as a Dynamic Logic", In: Theo Kuipers, Johan van Benthem and Henk Visser (eds.), Synthese, special issue.
A. Baltag and S. Smets. “Correlated Knowledge, An Epistemic-Logic View on Quantum Entanglement", International Journal of Theoretical Physics , Online First July 2010.
A. Baltag and S. Smets. "Correlated Information: A Logic for Multi- Partite Quantum Systems". In Proceedings of the sixth workshop on Quantum Physics and Logic, Oxford 2009.
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. "LQP: The Dynamic Logic of Quantum Information". Mathematical Structures in Computer Science, 16 (3): 491-525, 2006. Cambridge University Press.
A. Baltag and S. Smets. "Complete Axiomatizations for Quantum Actions." International Journal of Theoretical Physics 44 (12):2267-2282, 2005. Springer Publishers, NY.
A. Baltag. The logic of quantum information flow. (Abstract) Proceedings of the 2nd Meeting on Algebraic and Topological Methods in Non-classical Logics, 13-14, Barcelona, 2005.
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.
A. Baltag, S. Smets. "The Logic of Quantum Programs". Proceedings of QPL'04 (2nd LICS Workshop on Quantum Programming Languages), TUCS General Publication 33: 39-56, Turku, Finland 2004. (paper available on PhilSci Archive).