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 correlation models, 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”.
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 correlation models, 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”.
In this paper we give a logical analysis of both classical and quantum correlations. We propose a new logical system to reason about the information carried by a complex system composed of several parts. Our formalism is based on an extension of epistemic logic with operators for “group knowledge” (the logic GEL), further extended with atomic sentences describing the results of “joint observations” (the logic LCK). As models we introduce correlation models, as a generalization of the standard representation of epistemic models as vector models. We give sound and complete axiomatizations for our logics, and we use this setting to investigate the relationship between the information carried by each of the parts of a complex system and the information carried by the whole system. In particular we distinguish between the “distributed information”, obtainable by simply pooling together all the information that can be separately observed in any of the parts, and “correlated information”, obtainable only by doing joint observations of the parts (and pooling together the results). Our formalism throws a new light on the difference between classical and quantum information and gives rise to an informational-logical characterization of the notion of “quantum entanglement”.
Abstract Quantum information gives rise to some puzzling epistemic problems that can be interestingly investigated from a logical point of view. A characteristic example is represented by teleportation phenomena, where knowledge and actions of observers (epistemic agents) play a relevant role. By abstracting from teleportation, we propose a simplified semantics for a language that consists of two parts: 1)the quantum computational sub-language, whose sentences α represent pieces of quantum information (which are supposed to be stored by some quantum systems)2)the classical epistemic sub-language, whose atomic sentences have the following forms: agent a has a probabilistic information about the sentence α; agent a knows the sentence α. Interestingly enough, some conceptual difficulties of standard epistemic logics can be avoided in this framework.
This paper introduces a generalized definition of quantum information entropy, aiming to provide a more comprehensive framework for quantifying information in complex quantum systems. The core of this work lies in extending the conventional concept of entropy, traditionally applied to classical information, to the realm of quantum mechanics. We explore various types of quantum entropy, including von Neumann entropy, relative entropy, and a newly proposed generalized entropy, denoted as *Eg*. The definition of *Eg* is based on a novel approach that considers the entanglement structure and correlations within quantum states. We establish relationships between these different entropy measures, demonstrating their interconnectedness within the broader context of quantum information theory. The paper further outlines a mathematical formalism for calculating *Eg*, providing a tool for analyzing and characterizing quantum information. Our generalized entropy provides a more flexible and potentially more accurate measure of quantum information, particularly in scenarios involving complex quantum correlations and multi-partite quantum systems. ---
This paper applies to quantum systems a modelling for the logic of knowledge, originally developed for reasoning about distributed systems, but since then applied to game theory, computer security and artificial intelligence. A formal model of quantum message passing systems is developed and the question of how one might define the semantics of a modal operator for knowledge in this model is considered. It is argued that there are at least two plausible semantics, depending on whether the agents are permitted to make use of their quantum state in determining what they know, and on whether one is dealing with single instances of quantum systems, or ensembles. The framework is illustrated using a number of examples from the quantum computing literature, including protocols for quantum key distribution and teleportation. 1
The main contribution of this paper is the introduction of a dynamic logic formalism for reasoning about information flow in composite quantum systems. This builds on our previous work on a complete quantum dynamic logic for single systems. Here we extend that work to a sound (but not necessarily complete) logic for composite systems, which brings together ideas from the quantum logic tradition with concepts from (dynamic) modal logic and from quantum computation. This Logic of Quantum Programs (LQP) is capable of expressing important features of quantum measurements and unitary evolutions of multi-partite states, as well as giving logical characterisations to various forms of entanglement (for example, the Bell states, the GHZ states etc.). We present a finitary syntax, a relational semantics and a sound proof system for this logic. As applications, we use our system to give formal correctness proofs for the Teleportation protocol and for a standard Quantum Secret Sharing protocol; a whole range of other quantum circuits and programs, including other well-known protocols (for example, superdense coding, entanglement swapping, logic-gate teleportation etc.), can be similarly verified using our logic.
The main contribution of this paper is the introduction of a dynamic logic formalism for reasoning about information flow in composite quantum systems. This builds on our previous work on a complete quantum dynamic logic for single systems. Here we extend that work to a sound (but not necessarily complete) logic for composite systems, which brings together ideas from the quantum logic tradition with concepts from (dynamic) modal logic and from quantum computation. This Logic of Quantum Programs (LQP) is capable of expressing important features of quantum measurements and unitary evolutions of multi-partite states, as well as giving logical characterisations to various forms of entanglement (for example, the Bell states, the GHZ states etc.). We present a finitary syntax, a relational semantics and a sound proof system for this logic. As applications, we use our system to give formal correctness proofs for the Teleportation protocol and for a standard Quantum Secret Sharing protocol; a whole range of other quantum circuits and programs, including other well-known protocols (for example, superdense coding, entanglement swapping, logic-gate teleportation etc.), can be similarly verified using our logic.