{"id":"arxiv/2603.18368","url":"https://arxiv.org/abs/2603.18368","tags":["cs.LO","math.LO"],"score":0,"title":"Decidability of Quantum Modal Logic","domain":"cs.LO","source":"arxiv","authors":["Kenji Tokuo"],"reviews":0,"subject":"cs.LO","summary":"The decidability of a logical system refers to the existence of an algorithm that can determine whether any given formula in that system is a theorem. In this paper, Harrop's lemma is used to prove the decidability of quantum modal logic.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-03-19","reactions":{}}