Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2000)
2. Einstein Meets Magritte;D.J. Foulis,1999
3. Chiara, M.L.D., Giuntini, R., Greechie, R.: Reasoning in Quantum Theory. Kluwer Academic Publishers, Dordrecht (2004)
4. Birkhoff, G., von Neumann, J.: The logic of quantum mechanics. Annals of Mathematics 37, 823–843 (1936)
5. Kripke, S.A.: Semantical analysis of modal logic. I. Normal modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 9, 67–96 (1963)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extending Classical Logic for Reasoning About Quantum Systems;Handbook of Quantum Logic and Quantum Structures;2009
2. Exogenous Probabilistic Computation Tree Logic;Electronic Notes in Theoretical Computer Science;2007-09
3. A Process Algebra for Reasoning About Quantum Security;Electronic Notes in Theoretical Computer Science;2007-03
4. LQP: the dynamic logic of quantum information;Mathematical Structures in Computer Science;2006-06
5. Reasoning About Imperative Quantum Programs;Electronic Notes in Theoretical Computer Science;2006-05