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 条
  • [41] From Coalgebraic Logic to Modal Logic: An Introduction
    Novitzka, Valerie
    Steingartner, William
    Perhac, Jan
    IPSI BGD TRANSACTIONS ON INTERNET RESEARCH, 2019, 15 (02):
  • [42] Supervaluationism, Modal Logic, and Weakly Classical Logic
    Joshua Schechter
    Journal of Philosophical Logic, 2024, 53 : 411 - 461
  • [43] Supervaluationism, Modal Logic, and Weakly Classical Logic
    Schechter, Joshua
    JOURNAL OF PHILOSOPHICAL LOGIC, 2024, 53 (02) : 411 - 461
  • [44] Axiomatizing hybrid logic using modal logic
    Hodkinson, Ian
    Paternault, Louis
    JOURNAL OF APPLIED LOGIC, 2010, 8 (04) : 386 - 396
  • [45] Elementary Definability and Completeness in General and Positive Modal Logic
    Ernst Zimmermann
    Journal of Logic, Language and Information, 2003, 12 (1) : 99 - 117
  • [46] Tree-like constructions in topology and modal logic
    Bezhanishvili, G.
    Bezhanishvili, N.
    Lucero-Bryan, J.
    van Mill, J.
    ARCHIVE FOR MATHEMATICAL LOGIC, 2021, 60 (3-4) : 265 - 299
  • [47] A Substructural Modal Logic of Utility
    Anderson, Gabrielle
    Pym, David
    JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (05) : 1421 - 1464
  • [48] MODAL LOGIC AND GAME THEORY
    Tworak, Zbigniew
    FILOZOFIA NAUKI, 2017, 25 (02): : 5 - 28
  • [49] Specifying coalgebras with modal logic
    Kurz, A
    THEORETICAL COMPUTER SCIENCE, 2001, 260 (1-2) : 119 - 138
  • [50] Minimal axiomatization in modal logic
    Bellissima, F
    Cittadini, S
    MATHEMATICAL LOGIC QUARTERLY, 1997, 43 (01) : 92 - 102
12345