Decidability of quantum modal logic

被引：0
|
作者：
Tokuo, Kenji [1 ]
机构：
[1] Natl Inst Technol, Oita Coll, Dept Informat Engn, Oita 8700152, Japan
来源：
LOGIC JOURNAL OF THE IGPL | 2025年
基金：
日本学术振兴会;
关键词：
quantum logic; modal logic; decidability; finite model property; Harrop's lemma;
D O I：
10.1093/jigpal/jzaf010
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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.
引用
收藏
页数：7
相关论文
共 50 条
12345