Quantum information has suggested new forms of quantum logic, called quantum computational logics, where meanings of sentences are represented by pieces of quantum information (generally, density operators of some Hilbert spaces), which can be stored and transmitted by means of quantum particles. This approach can be applied to a semantic characterization of epistemic logical operations, which may occur in sentences like “At time $$\mathfrak t^{\prime }$$t′ Bob knows that at time $$\mathfrak t$$t Alice knows that the spin-value is up”. Each epistemic agent (say, Alice, Bob,...) has a characteristic truth perspective, corresponding to a particular orthonormal basis of the Hilbert space $$\mathbb {C}^2$$C2. From a physical point of view, a truth perspective can be associated with an apparatus that allows one to measure a given observable. An important feature that characterizes the knowledge of any agent is the amount of information that is accessible to him/her (technically, a special set of density operators, which also represents the internal memory of the agent in question). One can prove that interesting epistemic operations are special examples of quantum channels, which generally are not unitary. The act of knowing may involve some intrinsic irreversibility due to possible measurement procedures or to a loss of information about the environment.We also illustrate some relativistic-like effects that arise in the behavior of epistemic agents.
[1]
Li-Yun Hu,et al.
Infinite-dimensional Kraus operators for describing amplitude-damping channel and laser process
,
2009
.
[2]
Roberto Giuntini,et al.
Quantum teleportation and quantum epistemic semantics
,
2012
.
[3]
Roberto Giuntini,et al.
Logics from Quantum Computation
,
2005
.
[4]
Roberto Giuntini,et al.
Epistemic Quantum Computational Structures in a Hilbert-space Environment
,
2012,
Fundam. Informaticae.
[5]
Roberto Giuntini,et al.
A first-order epistemic quantum computational semantics with relativistic-like epistemic effects
,
2016,
Fuzzy Sets Syst..
[6]
G. D’Ariano,et al.
Transforming quantum operations: Quantum supermaps
,
2008,
0804.0180.
[7]
Roberto Giuntini,et al.
A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics
,
2014
.
[8]
Roberto Giuntini,et al.
A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures
,
2014
.