Show simple item record

dc.contributor.author
Nurgalieva, Nuriya
dc.contributor.author
del Rio, Lídia
dc.contributor.editor
Selinger, Peter
dc.contributor.editor
Chiribella, Giulio
dc.date.accessioned
2019-10-14T14:31:57Z
dc.date.available
2019-05-08T10:49:48Z
dc.date.available
2019-05-08T15:47:12Z
dc.date.available
2019-10-14T14:31:57Z
dc.date.issued
2019-01-31
dc.identifier.issn
2075-2180
dc.identifier.other
10.4204/EPTCS.287.16
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/341171
dc.identifier.doi
10.3929/ethz-b-000341171
dc.description.abstract
We test the principles of classical modal logic in fully quantum settings. Modal logic models our reasoning in multi-agent problems, and allows us to solve puzzles like the muddy children paradox. The Frauchiger-Renner thought experiment highlighted fundamental problems in applying classical reasoning when quantum agents are involved; we take it as a guiding example to test the axioms of classical modal logic. In doing so, we find a problem in the original formulation of the Frauchiger-Renner theorem: a missing assumption about unitarity of evolution is necessary to derive a contradiction and prove the theorem. Adding this assumption clarifies how different interpretations of quantum theory fit in, i.e., which properties they violate. Finally, we show how most of the axioms of classical modal logic break down in quantum settings, and attempt to generalize them. Namely, we introduce constructions of trust and context, which highlight the importance of an exact structure of trust relations between agents. We propose a challenge to the community: to find conditions for the validity of trust relations, strong enough to exorcise the paradox and weak enough to still recover classical logic.
en_US
dc.format
application/pdf
en_US
dc.language.iso
en
en_US
dc.publisher
Open Publishing Association
en_US
dc.rights.uri
http://creativecommons.org/licenses/by/3.0/
dc.title
Inadequacy of Modal Logic in Quantum Settings
en_US
dc.type
Conference Paper
dc.rights.license
Creative Commons Attribution 3.0 Unported
ethz.book.title
Proceedings of the 15th International Conference on Quantum Physics and Logic
en_US
ethz.journal.title
Electronic Proceedings in Theoretical Computer Science
ethz.journal.volume
287
en_US
ethz.journal.abbreviated
Electron. proc. theor. comput. sci.
ethz.pages.start
267
en_US
ethz.pages.end
297
en_US
ethz.version.deposit
publishedVersion
en_US
ethz.event
15th International Conference on Quantum Physics and Logic (QPL 2018)
en_US
ethz.event.location
Halifax, Canada
en_US
ethz.event.date
June 3-7, 2018
en_US
ethz.identifier.wos
ethz.publication.place
Sydney
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02010 - Dep. Physik / Dep. of Physics::02511 - Institut für Theoretische Physik / Institute for Theoretical Physics::03781 - Renner, Renato / Renner, Renato
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02010 - Dep. Physik / Dep. of Physics::02511 - Institut für Theoretische Physik / Institute for Theoretical Physics::03781 - Renner, Renato / Renner, Renato
ethz.relation.isNewVersionOf
handle/20.500.11850/320520
ethz.date.deposited
2019-05-08T10:51:00Z
ethz.source
WOS
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2019-05-08T15:47:23Z
ethz.rosetta.lastUpdated
2019-10-14T14:32:13Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Inadequacy%20of%20Modal%20Logic%20in%20Quantum%20Settings&rft.jtitle=Electronic%20Proceedings%20in%20Theoretical%20Computer%20Science&rft.date=2019-01-31&rft.volume=287&rft.spage=267&rft.epage=297&rft.issn=2075-2180&rft.au=Nurgalieva,%20Nuriya&del%20Rio,%20L%C3%ADdia&rft.genre=proceeding&rft.btitle=Proceedings%20of%20the%2015th%20International%20Conference%20on%20Quantum%20Physics%20and%20Logic
 Search via SFX

Files in this item

Thumbnail

Publication type

Show simple item record