Quantum teleportation and quantum epistemic semantics

Mathematica Slovaca

Maria Chiara¹  Roberto Giuntini¹  Enrico Beltrametti¹  Giuseppe Sergioli¹ 

关键词: quantum teleportation;    quantum logic;    epistemic logic;   

DOI  :  10.2478/s12175-012-0069-y

学科分类：数学（综合）

来源: Slovenska Akademia Vied * Matematicky Ustav / Slovak Academy of Sciences, Mathematical Institute

【 摘 要 】

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.

【 授权许可】

Unknown