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 条
  • [11] The Completeness Problem for Modal Logic
    Achilleos, Antonis
    LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2018), 2018, 10703 : 1 - 21
  • [12] Actuality in Propositional Modal Logic
    Hazen, Allen P.
    Rin, Benjamin G.
    Wehmeier, Kai F.
    STUDIA LOGICA, 2013, 101 (03) : 487 - 503
  • [13] Adaptive Logic as a Modal Logic
    Allo, Patrick
    STUDIA LOGICA, 2013, 101 (05) : 933 - 958
  • [14] Adaptive Logic as a Modal Logic
    Patrick Allo
    Studia Logica, 2013, 101 : 933 - 958
  • [15] Modal logic as dialogical logic
    Blackburn, P
    SYNTHESE, 2001, 127 (1-2) : 57 - 93
  • [16] Modal Logic As Dialogical Logic
    Patrick Blackburn
    Synthese, 2001, 127 : 57 - 93
  • [17] Paraconsistency and neighborhood models in modal logic
    Murai, T
    Sato, Y
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XII, PROCEEDINGS: INFORMATION SYSTEMS, TECHNOLOGIES AND APPLICATIONS: II, 2003, : 220 - 223
  • [18] CARNAP'S PROBLEM FOR MODAL LOGIC
    Bonnay, Denis
    Westerstahl, Dag
    REVIEW OF SYMBOLIC LOGIC, 2023, 16 (02) : 578 - 602
  • [19] A spatial modal logic with a location interpretation
    Kamide, N
    MATHEMATICAL LOGIC QUARTERLY, 2005, 51 (04) : 331 - 341
  • [20] Hybrid logic meets IF modal logic
    Tulenheimo T.
    Journal of Logic, Language and Information, 2009, 18 (4) : 559 - 591
12345