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] Modal Multilattice Logic
    Norihiro Kamide
    Yaroslav Shramko
    Logica Universalis, 2017, 11 : 317 - 343
  • [32] Axiomatizations with context rules of inference in modal logic
    Goranko V.
    Studia Logica, 1998, 61 (2) : 179 - 197
  • [33] A Modal Sortal Logic
    Max A. Freund
    Journal of Philosophical Logic, 2004, 33 : 237 - 260
  • [34] A modal nonmonotonic logic
    林作铨
    Science in China(Series E:Technological Sciences), 1996, (03) : 303 - 321
  • [35] Algorithmic correspondence and canonicity for distributive modal logic
    Conradie, Willem
    Palmigiano, Alessandra
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (03) : 338 - 376
  • [36] A modal extension of weak generalisation predicate logic
    Kibedi, Francisco
    Tourlakis, George
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (04) : 591 - 621
  • [37] Complete proof systems for weighted modal logic
    Larsen, Kim G.
    Mardare, Radu
    THEORETICAL COMPUTER SCIENCE, 2014, 546 : 164 - 175
  • [38] Modal Multilattice Logic
    Kamide, Norihiro
    Shramko, Yaroslav
    LOGICA UNIVERSALIS, 2017, 11 (03) : 317 - 343
  • [39] A Modal Logic of Metaphor
    Segerberg, Krister
    STUDIA LOGICA, 2011, 99 (1-3) : 337 - 347
  • [40] Fragmenting modal logic
    Iaquinto, Samuele
    De Florio, Ciro
    Frigerio, Aldo
    INQUIRY-AN INTERDISCIPLINARY JOURNAL OF PHILOSOPHY, 2024,
12345