Decidability of quantum modal logic

被引：0

作者：

Tokuo, Kenji ^{[1
]}

机构：

[1] Natl Inst Technol, Oita Coll, Dept Informat Engn, Oita 8700152, Japan

来源：

LOGIC JOURNAL OF THE IGPL | 2025年

基金：

日本学术振兴会;

关键词：

quantum logic; modal logic; decidability; finite model property; Harrop's lemma;

D O I：

10.1093/jigpal/jzaf010

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

The decidability of a logical system refers to the existence of an algorithm that can determine whether any given formula in that system is a theorem. In this paper, Harrop's lemma is used to prove the decidability of quantum modal logic.

引用

页数：7

共 50 条

[1] Decidability of some classes of modal logic
Norgela S.
Lithuanian Mathematical Journal, 2002, 42 (2) : 174 - 181
[2] DECIDABILITY OF INDEPENDENCE-FRIENDLY MODAL LOGIC
Sevenster, Merlijn
REVIEW OF SYMBOLIC LOGIC, 2010, 3 (03): : 415 - 441
[3] Decidability of Inquisitive Modal Logic via Filtrations
Maric, Stipe
Perkov, Tin
STUDIA LOGICA, 2024,
[4] DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM GRZ AND IN INTUITIONISTIC LOGIC
RYBAKOV, VV
MATHEMATICS OF THE USSR-IZVESTIYA, 1986, 50 (03): : 589 - 608
[5] MODAL LOGIC OF QUANTUM LOGIC
MITTELSTAEDT, P
JOURNAL OF PHILOSOPHICAL LOGIC, 1979, 8 (04) : 479 - 504
[6] Coalgebraic modal logic: soundness, completeness and decidability of local consequence
Pattinson, D
THEORETICAL COMPUTER SCIENCE, 2003, 309 (1-3) : 177 - 193
[7] Quantum modal logic
Tokuo, Kenji
LOGIC JOURNAL OF THE IGPL, 2024,
[8] Decidability of Multi-modal Logic LTK of Linear Time and Knowledge
Lukyanchuk, Alexandra N.
JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2013, 6 (02): : 220 - 226
[9] QUANTUM SUPPORTS AND MODAL LOGIC
SVETLICHNY, G
FOUNDATIONS OF PHYSICS, 1986, 16 (12) : 1285 - 1295
[10] Many-dimensional Modal Logic of Tense and Temporal Interval and its Decidability
Yoshioka, Suguru
Tojo, Satoshi
PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 5, 2005, 5 : 9 - 12

← 1 2 3 4 5 →