Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: LQP: The Dynamic Logic of Quantum Information   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.

16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas
31
The categories of this paper are: ao-sci
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
5
The categories of this paper are: gr-qc
28
The categories of this paper are: alg-geom
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
21
The categories of this paper are: adap-org