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] On the decidability of open logic
    ZHANG Wei Northeastern University
    Science China(Information Sciences), 2009, (08) : 1283 - 1291
  • [22] On Decidability of a Logic of Gossips
    Apt, Krzysztof R.
    Wojtczak, Dominik
    LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), 2016, 10021 : 18 - 33
  • [23] Decidability of an Xstit Logic
    Payette, Gillman
    STUDIA LOGICA, 2014, 102 (03) : 577 - 607
  • [24] DECIDABILITY OF 4 MODAL LOGICS
    SEGERBERG, K
    THEORIA, 1968, 34 : 21 - 25
  • [25] On the Decidability of Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    Kieron, Emanuel
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 17 (01)
  • [26] MODAL QUANTUM LOGIC AND ITS DIALOGIC FOUNDATION
    BURGHARDT, FJ
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1980, 19 (11) : 843 - 866
  • [27] IMBEDDING OF QUANTUM LOGIC IN MODAL SYSTEM OF BROWER
    DISHKANT, H
    JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 321 - 328
  • [28] Decidability and Undecidability in Probability Logic
    Terwijn, Sebastiaan A.
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, 2009, 5407 : 441 - 450
  • [29] Decidability of Logic of Correlated Knowledge
    Giedra, Haroldas
    Sakalauskaite, Jurate
    Alonderis, Romas
    INFORMATICA, 2014, 25 (04) : 541 - 550
  • [30] Completeness and decidability in sequence logic
    Bezem, Marc
    Langholm, Tore
    Walicki, Michal
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 123 - +
12345