Abstract
Abstract 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.
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call