加载中…
2026-03-19
Decidability of Quantum Modal Logic
Kenji 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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本