Journal article
Correlated information: a logic for multi-partite quantum systems
- Abstract:
-
In this paper we analyze classical and quantum correlations using the tools of epistemic logic. Our main contribution consists of two new logical systems. The first one is called General Epistemic Logic (GEL), it extends traditional epistemic logic with operators that allow us to reason about the information carried by a complex system composed of several parts. The second system is called the Logic of Correlated Knowledge (LCK), which extends GEL with sentences that describe the observati...
Expand abstract
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Version of record, pdf, 266.2KB)
-
- Publisher copy:
- 10.1016/j.entcs.2011.01.020
Authors
Funding
+ Netherlands Organisation for Scientific Research
More from this funder
Funding agency for:
Baltag, A
Grant:
B 62-635
Bibliographic Details
- Publisher:
- Elsevier Publisher's website
- Journal:
- Electronic Notes in Theoretical Computer Science Journal website
- Volume:
- 270
- Issue:
- 2
- Pages:
- 3-14
- Publication date:
- 2011-02-01
- DOI:
- ISSN:
-
1571-0661
Item Description
- Language:
- English
- Keywords:
- Subjects:
- UUID:
-
uuid:ce39e619-2f45-4564-97fb-764266a510ac
- Local pid:
- ora:10441
- Deposit date:
- 2015-03-04
Related Items
Terms of use
- Copyright holder:
- Elsevier
- Copyright date:
- 2011
- Notes:
- © 2011 Elsevier B.V. Open access under CC BY-NC-ND license.
If you are the owner of this record, you can report an update to it here: Report update to this record