Correlated Knowledge: An Epistemic-Logic View on Quantum Entanglement

International Journal of Theoretical Physics

Volumn 49, Issue 12, 2010, Pages 3005-3021

  Baltag, Alexandru ^a   Smets, Sonja ^a,b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF GRONINGEN   (Netherlands)

Author keywords

Correlated knowledge; Correlation models; Entanglement; Epistemic logic; Logics for quantum information; Quantum correlations

Indexed keywords

EID: 78149500180     PISSN: 00207748     EISSN: 15729575     Source Type: Journal    
DOI: 10.1007/s10773-010-0411-5     Document Type: Article

References (23)

1. Aerts, D.: Description of compound physical systems and logical interaction of physical systems. In: Beltrametti, E. G., van Fraassen, B. C. (eds.) Current Issues on Quantum Logic, Ettore Majorana, International Science Series, Physical Sciences, vol. 8, pp. 381-405. Kluwer Academic, Dordrecht (1981).
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th IEEE Conference on Logic in Computer Science (LiCS'04). Available at arXiv: quant-ph/0402130.
3. Abramsky, S., Duncan, R.: A categorical quantum logic. Math. Struct. Comput. Sci. 469-489 (2006).
4. Baltag, A., Moss, L., van Ditmarsch, H.: Epistemic logic and information update. In: Handbook on the Philosophy of Information. Elsevier, Amsterdam (2008).
5. Baltag, A., Smets, S.: The logic of quantum programs. In: Selinger, P. (ed.) Proceedings of the 2nd International Workshop on Quantum Programming Languages (QPL2004). TUCS General Publication, vol. 33, pp. 39-56. Turku Center for Computer Science (2004). PHILSCI00001799.
6. Baltag, A., Smets, S.: Complete axiomatizations of quantum actions. Int. J. Theor. Phys. 44(12), 2267-2282 (2005).
7. Baltag, A., Smets, S.: LQP: the dynamic logic of quantum information. Math. Struct. Comput. Sci. 16(3), 491-525 (2006).
8. Baltag, A., Smets, S.: A dynamic-logical perspective on quantum behavior. Stud. Log. 89, 185-209 (2008).
9. Baltag, A., Smets, S.: Correlated information: a logic for multi-partite quantum systems. In: Coecke, B., Panangaden, P., Selinger, P.(eds.), Pre-Proceedings of the 6th Workshop on Quantum Physics and Logic, pp. 4-14. Oxford, UK. Electronic Notes in Theoretical Computer Science (2009, forthcoming).
10. Barwise, J.: On the model theory of common knowledge. In: The Situation in Logic. CSLI Lecture Notes, pp. 201-220. Center for the Study of Language and Information (1989).
11. Barwise, J., Perry, J.: Situations and Attitudes. MIT Press, Cambridge (1983).
12. van Benthem, J.: Exploring Logical Dynamics. CSLI Publications, Stanford (1996).
13. van Benthem, J., Martinez, M.: The stories of logic and information. In: Handbook of the Philosophy of Information. Elsevier, Amsterdam (2008). Available at http://dare. uva. nl/record/262024.
14. van Benthem, J.: Information as correlation vs. Information as range: a proposal for identifying and merging two basic logical traditions. In: Moss, L. (ed.) In Memory of Jon Barwise (in press). Available at http://www. illc. uva. nl/Publications/ResearchReports/PP-2006-07. text. pdf.
15. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001).
16. Coecke, B.: The logic of entanglement. Research Report, March 2004. arXiv: quant-ph/0402014.
17. Coecke, B., Edwards, B.: Toy quantum categories. In: Proceedings of Quantum Physics and Logic 2008. Electronic Notes in theoretical Computer Science (to appear). http://arxiv. org/abs/0808. 1037.
18. Chiara, M. L. Dalla, Giuntini, R., Leporini, R.: Quantum computational logics. A survey. In: Hendricks, V., Malinowski, J. (eds.) Trends in Logic. 50 Years of Studia Logica, pp. 229-271. Kluwer, Dordrecht (2003).
19. Devlin, K.: Logic and Information. Cambridge University Press, Cambridge (1991).
20. Gudder, S.: Quantum computational logic. Int. J. Theor. Phys. 42(1), 39-47 (2003).
21. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about Knowledge. MIT Press, Cambridge (1995).
22. Halpern, J. Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM 37(3), 549-587 (1990).
23. Valckenborgh, F.: Compound systems in quantum axiomatics. Doctoral thesis, Vrije Universiteit Brussel (2001).