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] A modal contrastive logic: The logic of 'but'
Meyer, JJC
vanderHoek, W
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 17 (3-4) : 291 - 313
[12] Adaptive Logic as a Modal Logic
Allo, Patrick
STUDIA LOGICA, 2013, 101 (05) : 933 - 958
[13] Adaptive Logic as a Modal Logic
Patrick Allo
Studia Logica, 2013, 101 : 933 - 958
[14] Modal Logic As Dialogical Logic
Patrick Blackburn
Synthese, 2001, 127 : 57 - 93
[15] Modal logic as dialogical logic
Blackburn, P
SYNTHESE, 2001, 127 (1-2) : 57 - 93
[16] MODAL LOGIC AND LOGIC OF APPLICABILITY
PRIOR, AN
THEORIA, 1968, 34 : 183 - 202
[17] MODAL LOGIC
SPENCERSMITH, R
ARTIFICIAL INTELLIGENCE REVIEW, 1991, 5 (1-2) : 5 - 34
[18] Modal Logic
Venema, Y
PHILOSOPHICAL REVIEW, 2000, 109 (02): : 286 - 289
[19] MODAL LOGIC
LUCAS, T
REVUE PHILOSOPHIQUE DE LOUVAIN, 1985, 83 (60) : 585 - 604
[20] PROGRAMMING IN MODAL LOGIC - AN EXTENSION OF PROLOG BASED ON MODAL LOGIC
SAKAKIBARA, Y
LECTURE NOTES IN COMPUTER SCIENCE, 1987, 264 : 81 - 91

← 1 2 3 4 5 →