Name
Title | ||
|---|---|---|
A first-order epistemic quantum computational semantics with relativistic-like epistemic effects |
Abstract | ||
|---|---|---|
Quantum computation has suggested new forms of quantum logic, called quantum computational logics. In these logics well-formed formulas are supposed to denote pieces of quantum information: possible pure states of quantum systems that can store the information in question. At the same time, the logical connectives are interpreted as quantum logical gates: unitary operators that process quantum information in a reversible way, giving rise to quantum circuits. Quantum computational logics have been mainly studied as sentential logics (whose alphabet consists of atomic sentences and of logical connectives). In this article we propose a semantic characterization for a first-order epistemic quantum computational logic, whose language can express sentences like \"Alice knows that everybody knows that she is pretty\". One can prove that (unlike the case of logical connectives) both quantifiers and epistemic operators cannot be generally represented as (reversible) quantum logical gates. The \"act of knowing\" and the use of universal (or existential) assertions seem to involve some irreversible \"theoretic jumps\", which are similar to quantum measurements. Since all epistemic agents are characterized by specific epistemic domains (which contain all pieces of information accessible to them), the unrealistic phenomenon of logical omniscience is here avoided: knowing a given sentence does not imply knowing all its logical consequences. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1016/j.fss.2015.09.002 | Fuzzy Sets and Systems |
Keywords | Field | DocType |
quantum computation | Quantum,Quantum Turing machine,Logical consequence,Categorical quantum mechanics,Logical connective,Quantum computer,Quantum logic,Epistemology,Quantum information,Mathematics | Journal |
Volume | Issue | ISSN |
298 | C | 0165-0114 |
Citations | PageRank | References |
4 | 1.04 | 4 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Maria Luisa Dalla Chiara | 1 | 32 | 10.24 |
| Roberto Giuntini | 2 | 118 | 26.43 |
| Roberto Leporini | 3 | 22 | 6.57 |
| Giuseppe Sergioli | 4 | 23 | 11.03 |