43.0LOMar 19
Decidability of Quantum Modal LogicKenji Tokuo
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.