Correlated Knowledge: an Epistemic-Logic View on Quantum Entanglement
暂无分享,去创建一个
[1] S. Smets,et al. QS 7 Complete Axiomatizations for Quantum Actions , 2005 .
[2] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[3] Keith Devlin,et al. Logic and information , 1991 .
[4] Bill Edwards,et al. Toy quantum categories , 2008, 0808.1037.
[5] A. Baltag,et al. EPISTEMIC LOGIC AND INFORMATION UPDATE , 2008 .
[6] M. L. Dalla Chiara,et al. Quantum Computational Logics. A Survey , 2003 .
[7] Alexandru Baltag,et al. Correlated Information: A Logic for Multi-Partite Quantum Systems , 2011, QPL@MFPS.
[8] N. Cocchiarella,et al. Situations and Attitudes. , 1986 .
[9] Maricarmen Martinez,et al. The Stories of Logic and Information , 2006 .
[10] Joseph Y. Halpern,et al. Knowledge and common knowledge in a distributed environment , 1984, JACM.
[11] Roberto Giuntini,et al. Quantum computational logic , 2004 .
[12] Alexandru Baltag,et al. LQP: the dynamic logic of quantum information , 2006, Mathematical Structures in Computer Science.
[13] Angus Macintyre,et al. Trends in Logic , 2001 .
[14] Samson Abramsky,et al. A categorical quantum logic , 2006, Math. Struct. Comput. Sci..
[15] Johan van Benthem,et al. Exploring logical dynamics , 1996, Studies in logic, language and information.
[16] Bill Edwards,et al. Toy Quantum Categories (Extended Abstract) , 2011, QPL/DCM@ICALP.
[17] Stan Gudder,et al. Quantum Computational Logic , 2003 .
[18] Dirk Aerts. Description of Compound Physical Systems and Logical Interaction of Physical Systems , 1981 .
[19] Alexander K. Petrenko,et al. Electronic Notes in Theoretical Computer Science , 2009 .
[20] Johan van Benthem,et al. INFORMATION AS CORRELATION VS. INFORMATION AS RANGE: a proposal for identifying and merging two basic logical traditions , 2022 .
[21] Samson Abramsky,et al. A categorical semantics of quantum protocols , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[22] Alexandru Baltag,et al. A Dynamic-Logical Perspective on Quantum Behavior , 2008, Stud Logica.
[23] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[24] Alexandru Baltag,et al. The Logic of Quantum Programs , 2004, ArXiv.