DC FieldValueLanguage
dc.contributor.authorIlić Stepić, Angelinaen_US
dc.contributor.authorOgnjanović, Zoranen_US
dc.contributor.authorPerović, Aleksandaren_US
dc.date.accessioned2023-06-07T12:31:32Z-
dc.date.available2023-06-07T12:31:32Z-
dc.date.issued2023-
dc.identifier.issn1661-8297-
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/5050-
dc.description.abstractIn this paper we present two families of probability logics (denoted QLP and QLPORT) suitable for reasoning about quantum observations. Assume that α means “O = a”. The notion of measuring of an observable O can be expressed using formulas of the form □ ◊α which intuitively means “if we measure O we obtain α”. In that way, instead of non-distributive structures (i.e., non-distributive lattices), it is possible to relay on classical logic extended with the corresponding modal laws for the modal logic B. We consider probability formulas of the form CSz1,ρ1;…;zm,ρm□◊α related to an observable O and a possible world (vector) w: if a is an eigenvalue of O, w1,.., wm form a base of a closed subspace of the considered Hilbert space which corresponds to eigenvalue a, and if w is a linear combination of the basis vectors such that w= c1· w1+ ⋯ + cm· wm for some ci∈ C, then ‖ c1- z1‖ ≤ ρ1,.., ‖ cm- zm‖ ≤ ρm, and the probability of obtaining a while measuring O in the state w is equal to Σi=1m‖ci‖2. Formulas are interpreted in reflexive and symmetric Kripke models equipped with probability distributions over families of subsets of possible worlds that are orthocomplemented lattices, while for QLPORT also satisfy ortomodularity. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems, and also decidability for QLP-logics.en_US
dc.publisherSpringer Linken_US
dc.relation.ispartofLogica Universalisen_US
dc.subjectDecidability | Probability amplitudes | Quantum logic | Strong completenessen_US
dc.titleProbability Logics for Reasoning About Quantum Observationsen_US
dc.typeArticleen_US
dc.identifier.doi10.1007/s11787-023-00326-y-
dc.identifier.scopus2-s2.0-85153356783-
dc.contributor.affiliationMathematicsen_US
dc.contributor.affiliationMathematical Institute of the Serbian Academy of Sciences and Artsen_US
dc.relation.firstpage175-
dc.relation.lastpage219-
dc.relation.volume17-
dc.description.rank~M21-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0002-9771-1196-
crisitem.author.orcid0000-0003-2508-6480-
Show simple item record

Page view(s)

51
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.