Quantum modal logic

被引：0
|
作者：
Tokuo, Kenji [1 ]
机构：
[1] Natl Inst Technol, Oita Coll, Dept Informat Engn, 1666 Maki, Oita 8700152, Japan
来源：
LOGIC JOURNAL OF THE IGPL | 2024年
基金：
日本学术振兴会;
关键词：
quantum logic; modal logic; Kripke semantics; axiomatization; completeness;
D O I：
10.1093/jigpal/jzae123
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
A modal logic based on quantum logic is formalized in its simplest possible form. Specifically, a relational semantics and a sequent calculus are provided, and the soundness and the completeness theorems connecting both notions are demonstrated. This framework is intended to serve as a basis for formalizing various modal logics over quantum logic, such as quantum alethic logic, quantum temporal logic, quantum epistemic logic, and quantum dynamic logic.
引用
收藏
页数：12
相关论文
共 50 条
  • [31] THE TRUE MODAL LOGIC
    MENZEL, C
    JOURNAL OF PHILOSOPHICAL LOGIC, 1991, 20 (04) : 331 - 374
  • [32] MODAL HYBRID LOGIC
    Indrzejczak, Andrzej
    LOGIC AND LOGICAL PHILOSOPHY, 2007, 16 (2-3) : 147 - 257
  • [33] DEVELOPMENT OF MODAL LOGIC
    FALMAGNE, RJ
    BULLETIN OF THE PSYCHONOMIC SOCIETY, 1974, 4 (NA4) : 248 - 248
  • [34] A modal nonmonotonic logic
    Lin, ZQ
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1996, 39 (03): : 303 - 321
  • [35] Refinement modal logic
    Bozzelli, Laura
    van Ditmarsch, Hans
    French, Tim
    Hales, James
    Pinchinat, Sophie
    INFORMATION AND COMPUTATION, 2014, 239 : 303 - 339
  • [36] Modal logic and philosophy
    Restall, G
    AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2003, 81 (03) : 441 - 442
  • [37] MODAL LOGIC WITH NAMES
    GARGOV, G
    GORANKO, V
    JOURNAL OF PHILOSOPHICAL LOGIC, 1993, 22 (06) : 607 - 636
  • [38] On Aristotelian modal logic
    Wolff, M
    ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 2005, 59 (04): : 547 - 554
  • [39] Modal logic and dioids
    Pessanha, CP
    Santos-Mendes, R
    POSITIVE SYSTEMS, PROCEEDINGS, 2003, 294 : 31 - 38
  • [40] A modal logic for KLAIM
    De Nicola, R
    Loreti, M
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 339 - 354
12345