Mathematica Slovaca | |
Quantum teleportation and quantum epistemic semantics | |
Maria Chiara1  Roberto Giuntini1  Enrico Beltrametti1  Giuseppe Sergioli1  | |
关键词: 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
【 预 览 】
Files | Size | Format | View |
---|---|---|---|
RO201912080690945ZK.pdf | 308KB | download |