16 citations · 25 across the 10 of their papers we have counts for
4 papers · 1 filter
A Quantum Computational Semantics for Epistemic Logical Operators. Part II: Semantics
Enrico Beltrametti, Maria Luisa Dalla Chiara, Roberto Giuntini +2
By using the abstract structures investigated in the first Part of this article, we develop a semantics for an epistemic language, which expresses sentences like "Alice knows that…
A Quantum Computational Semantics for Epistemic Logical Operators. Part I: Epistemic Structures
Enrico Beltrametti, Maria Luisa Dalla Chiara, Roberto Giuntini +2
Some critical open problems of epistemic logics can be investigated in the framework of a quantum computational approach. The basic idea is to interpret sentences - like Alice know…
Holistic logical arguments in quantum computation
Maria Luisa Dalla Chiara, Roberto Giuntini, Roberto Leporini +1
Quantum computational logics represent a logical abstraction from the circuit-theory in quantum computation. In these logics formulas are supposed to denote pieces of quantum infor…
Quantum Approach to Epistemic Semantics
Giuseppe Sergioli, Roberto Leporini
Quantum information has suggested new forms of quantum logic, called quantum computational logics, where meanings of sentences are represented by pieces of quantum information (gen…