Correlated information: a logic for multi-partite quantum systems
<p>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 abo...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
Elsevier
2011
|
| Subjects: |
| _version_ | 1826297381953470464 |
|---|---|
| author | Baltag, A Smets, S |
| author_facet | Baltag, A Smets, S |
| author_sort | Baltag, A |
| collection | OXFORD |
| description | <p>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 observational capabilities of an agent. On the semantic side we introduce <em>correlation models</em>, as a generalization of the "interpreted systems" semantics. We use this setting to investigate several types of informational correlations (e.g. distributed information, quantum correlated information) that complex systems can exhibit. We also provide an informational-logical characterization of the notion of "quantum entanglement".</p> |
| first_indexed | 2024-03-07T04:30:45Z |
| format | Journal article |
| id | oxford-uuid:ce39e619-2f45-4564-97fb-764266a510ac |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T04:30:45Z |
| publishDate | 2011 |
| publisher | Elsevier |
| record_format | dspace |
| spelling | oxford-uuid:ce39e619-2f45-4564-97fb-764266a510ac2022-03-27T07:34:15ZCorrelated information: a logic for multi-partite quantum systemsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:ce39e619-2f45-4564-97fb-764266a510acComputer science (mathematics)EnglishOxford University Research Archive - ValetElsevier2011Baltag, ASmets, S<p>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 observational capabilities of an agent. On the semantic side we introduce <em>correlation models</em>, as a generalization of the "interpreted systems" semantics. We use this setting to investigate several types of informational correlations (e.g. distributed information, quantum correlated information) that complex systems can exhibit. We also provide an informational-logical characterization of the notion of "quantum entanglement".</p> |
| spellingShingle | Computer science (mathematics) Baltag, A Smets, S Correlated information: a logic for multi-partite quantum systems |
| title | Correlated information: a logic for multi-partite quantum systems |
| title_full | Correlated information: a logic for multi-partite quantum systems |
| title_fullStr | Correlated information: a logic for multi-partite quantum systems |
| title_full_unstemmed | Correlated information: a logic for multi-partite quantum systems |
| title_short | Correlated information: a logic for multi-partite quantum systems |
| title_sort | correlated information a logic for multi partite quantum systems |
| topic | Computer science (mathematics) |
| work_keys_str_mv | AT baltaga correlatedinformationalogicformultipartitequantumsystems AT smetss correlatedinformationalogicformultipartitequantumsystems |