Quantum teleportation and quantum epistemic semantics

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 alpha represent pieces of quantum information (which are supposed to be stored by some quantum systems) the classical epistemic sub-language, whose atomic sentences have the following forms: agent a has a probabilistic information about the sentence alpha; agent a knows the sentence alpha. Interestingly enough, some conceptual difficulties of standard epistemic logics can be avoided in this framework. (C) 2012 Mathematical Institute Slovak Academy of Sciences