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 条
  • [21] Decidability of an Xstit Logic
    Gillman Payette
    Studia Logica, 2014, 102 : 577 - 607
  • [22] On decidability and model checking for a first order modal logic for value-passing processes
    Xue, R
    Lin, HM
    SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003, 46 (01): : 45 - 59
  • [23] On the Decidability of Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    Kieron, Emanuel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 17 (01)
  • [24] Schematic Validity in Dynamic Epistemic Logic: Decidability
    Holliday, Wesley H.
    Hoshi, Tomohiro
    Icard, Thomas F., III
    LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 87 - 96
  • [25] The decidability of the intensional fragment of classical linear logic
    Bimbo, Katalin
    THEORETICAL COMPUTER SCIENCE, 2015, 597 : 1 - 17
  • [26] Conceptual foundations of quantum mechanics: The role of evidence theory, quantum sets, and modal logic
    Resconi, G
    Klir, GJ
    Pessa, E
    INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 1999, 10 (01): : 29 - 62
  • [27] Decidability of Logic of Correlated Knowledge
    Giedra, Haroldas
    Sakalauskaite, Jurate
    Alonderis, Romas
    INFORMATICA, 2014, 25 (04) : 541 - 550
  • [28] On the Modal Logic of the Non-orthogonality Relation Between Quantum States
    Shengyang Zhong
    Journal of Logic, Language and Information, 2018, 27 : 157 - 173
  • [29] On the Modal Logic of the Non-orthogonality Relation Between Quantum States
    Zhong, Shengyang
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2018, 27 (02) : 157 - 173
  • [30] An algebraic look at filtrations in modal logic
    Conradie, Willem
    Morton, Wilmari
    van Alten, Clint J.
    LOGIC JOURNAL OF THE IGPL, 2013, 21 (05) : 788 - 811
12345