Quantum logic as a dynamic logic-Reference-Cited by-同舟云学术

Quantum logic as a dynamic logic

Published:2010-10-12 Issue:2 Volume:179 Page:285-306
ISSN:0039-7857
Container-title:Synthese
language:en
Short-container-title:Synthese

Author:

Baltag Alexandru,Smets Sonja

Publisher

Springer Science and Business Media LLC

Subject

General Social Sciences,Philosophy

Link

http://www.springerlink.com/index/pdf/10.1007/s11229-010-9783-6

Reference53 articles.

1. Amira H., Coecke B., Stubbe I. (1998) How quantales emerge by introducing induction within the operational approach. Helvetica Physica Acta 71: 554–572

2. Bacciagaluppi G. (2008) Is logic empirical?. In: Engesser K., Gabbay D. M., Lehmann D. (eds) Handbook of quantum logic and quantum structures. Elsevier, Amsterdam

3. Baltag, A., & Smets, S. (2004). The logic of quantum programs. In P. Selinger (Ed.), Proceedings of the second international workshop on quantum programming languages (QPL2004), TUCS General Publication (Vol. 33, pp. 39–56). Turku Center for Computer Science.

4. Baltag A., Smets S. (2005) Complete axiomatizations of quantum actions. International Journal of Theoretical Physics 44(12): 2267–2282

5. Baltag, A., & Smets, S. (2006a). LQP: The dynamic logic of quantum information. In Mathematical structures in computer science, Special Issue on Quantum Programming Languages Vol. 16(3), pp. 491–525.

Cited by 37 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect;ACM Transactions on Computational Logic;2023-03-17

2. Quantum Logic for Observation of Physical Quantities;Lecture Notes in Computer Science;2023

3. Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

4. Reasoning about Quantum Information: An Overview of Quantum Dynamic Logic;Applied Sciences;2022-04-28

5. Why classical logic is privileged: justification of logics based on translatability;Synthese;2021-11-01