{"id":"arxiv/2607.14757","url":"https://arxiv.org/abs/2607.14757","tags":["cs.LO","math.LO"],"score":0,"title":"Component Modalities of Quantum Logic","domain":"cs.LO","source":"arxiv","authors":["Kenji Tokuo"],"reviews":0,"subject":"cs.LO","summary":"This paper determines the structural and proof-theoretic consequences of the forcing condition in relational quantum modal logic, under which every modal transition available at a world is also available at every world compatible with it. We prove that modal successor sets are constant on compatibility components, so boxed truth sets belong to the Boolean algebra of unions of these components. The relation holding exactly between worlds in the same component assigns to each stable proposition its greatest lower and least upper approximations by unions of components, and in hard…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-16","reactions":{}}