Publisher
Oxford University Press (OUP)
Reference59 articles.
1. Complete Axiomatizations for Quantum Actions
2. A. Baltag and S. Smets. LQP: the dynamic logic of quantum information. In Mathematical Structures in Computer Science, Special Issue on Quantum Programming Languages vol. 16, Cambridge University Press, pp. 491–525, 2006a.
3. Quantum logic as a dynamic logic
4. J. van Benthem. Modal Correspondence Theory. PhD Thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam, 1976.
5. G. Birkhoff. Lattice Theory, Corrected reprint of the 1967 third edition, American Mathematical Society Colloquium Publications 25, American Mathematical Society, 1979.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献