{"id":"arxiv/2607.17174","url":"https://arxiv.org/abs/2607.17174","tags":["quant-ph","math.LO"],"score":0,"title":"QBism Logic","domain":"quant-ph","source":"arxiv","authors":["Kenji Tokuo"],"reviews":0,"subject":"quant-ph","summary":"QBism interprets quantum theory as a normative discipline for an agent's probability assignments and their revision across possible experience. This paper develops a logical formalization of that picture. A well-formed core datum consists of an admissible prior space, a finite family of actual measurements, Born kernels, and update kernels. For each such datum, we introduce a guarded dynamic language for histories and posterior states and prove a global reduction theorem. We next consider effectively semialgebraic data over an effectively presented real closed field. For data in this class,…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-19","reactions":{}}