Journal article icon

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
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2011.01.020

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
More by this author
Research group:
IEG Research Group
More from this funder
Funding agency for:
Sonja Smets
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-05
DOI:
ISSN:
1571-0661
URN:
uuid:ce39e619-2f45-4564-97fb-764266a510ac
Local pid:
ora:10441

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP