Quantum teleportation and quantum epistemic semantics

Rok, strany: 2012, 1121 - 1144

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 pie ces 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 $\mathbf{a}$ has a probabilistic information about the sentence $α$; agent $\mathbf{a}$ knows the sentence $α$. Interestingly enough, some conceptual difficulties of standard epistemic logics can be avoided in this framework.

ISO 690:

Beltrametti, E., Dalla Chiara, M., Giuntini, R., Sergioli, G. 2012. Quantum teleportation and quantum epistemic semantics. In Mathematica Slovaca, vol. 62, no.6, pp. 1121-1144. 0139-9918. DOI: https://doi.org/10.2478/s12175-012-0069-y

APA:

Beltrametti, E., Dalla Chiara, M., Giuntini, R., Sergioli, G. (2012). Quantum teleportation and quantum epistemic semantics. Mathematica Slovaca, 62(6), 1121-1144. 0139-9918. DOI: https://doi.org/10.2478/s12175-012-0069-y