Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Fuzzy Sets and Systems

A first-order epistemic quantum computational semantics with relativistic-like epistemic effects

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini, Giuseppe Sergioli

Published Sep 7, 2015• 11 citations
Publisher
DOI
10.1016/j.fss.2015.09.002

Related papers

A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures

Enrico G. Beltrametti, María Luisa Dalla Chiara, Roberto Giuntini +2 more

arXiv:1602.07514•International Journal of Theoretical Physics•Jun 1, 2013•9 citations

A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics

Enrico G. Beltrametti, María Luisa Dalla Chiara, Roberto Giuntini +2 more

arXiv:1602.07517•International Journal of Theoretical Physics•Jul 8, 2013•13 citations

Quantum approach to epistemic semantics

Giuseppe Sergioli, Roberto Leporini

arXiv:1602.07515•Soft Computing•Aug 3, 2015•3 citations

Quantum teleportation and quantum epistemic semantics

Enrico G. Beltrametti, Maria L. Dalla Chiara, Roberto Giuntini +1 more

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.

Mathematica Slovaca•Dec 1, 2012•13 citations

Correlated Information: A Logic for Multi-Partite Quantum Systems

Alexandru Baltag, Sonja Smets

In this paper we analyze classical and quantum correlations using the tools of epistemic logic. Our main contribution consists of two new logical systems. The first one is called General Epistemic Logic (GEL), it extends traditional epistemic logic with operators that allow us to reason about the information carried by a complex system composed of several parts. The second system is called the Logic of Correlated Knowledge (LCK), which extends GEL with sentences that describe the observational capabilities of an agent. On the semantic side we introduce correlation models, as a generalization of the “interpreted systems” semantics. We use this setting to investigate several types of informational correlations (e.g. distributed information, quantum correlated information) that complex systems can exhibit. We also provide an informational-logical characterization of the notion of “quantum entanglement”.

Electronic Notes in Theoretical Computer Science•Feb 1, 2011•11 citations

Compositional and holistic quantum computational semantics

María Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini

Natural Computing•Sep 29, 2006•20 citations
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.
In this paper we analyze classical and quantum correlations using the tools of epistemic logic. Our main contribution consists of two new logical systems. The first one is called General Epistemic Logic (GEL), it extends traditional epistemic logic with operators that allow us to reason about the information carried by a complex system composed of several parts. The second system is called the Logic of Correlated Knowledge (LCK), which extends GEL with sentences that describe the observational capabilities of an agent. On the semantic side we introduce correlation models, as a generalization of the “interpreted systems” semantics. We use this setting to investigate several types of informational correlations (e.g. distributed information, quantum correlated information) that complex systems can exhibit. We also provide an informational-logical characterization of the notion of “quantum entanglement”.