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 条

[41] Adaptive Logic as a Modal Logic
Allo, Patrick
STUDIA LOGICA, 2013, 101 (05) : 933 - 958
[42] Adaptive Logic as a Modal Logic
Patrick Allo
Studia Logica, 2013, 101 : 933 - 958
[43] Modal logic as dialogical logic
Blackburn, P
SYNTHESE, 2001, 127 (1-2) : 57 - 93
[44] Modal Logic As Dialogical Logic
Patrick Blackburn
Synthese, 2001, 127 : 57 - 93
[45] A REAL-VALUED MODAL LOGIC
Diaconescu, Denisa
Metcalfe, George
Schnuriger, Laura
LOGICAL METHODS IN COMPUTER SCIENCE, 2018, 14 (01)
[46] Decidability of the weak interpolation property over the minimal logic
L. L. Maksimova
Algebra and Logic, 2011, 50
[47] A hybrid calculus for logic N*: residual finiteness and decidability
S. A. Drobyshevich
Algebra and Logic, 2011, 50 : 245 - 256
[48] Decidability of propositional projection temporal logic with infinite models
Duan, Zhenhua
Tian, Cong
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2007, 4484 : 521 - +
[49] A HYBRID CALCULUS FOR LOGIC N*: RESIDUAL FINITENESS AND DECIDABILITY
Drobyshevich, S. A.
ALGEBRA AND LOGIC, 2011, 50 (03) : 245 - 256
[50] Nagarjunian-Yogacarian Modal Logic versus Aristotelian Modal Logic
Schumann, Andrew
JOURNAL OF INDIAN PHILOSOPHY, 2021, 49 (03) : 467 - 498

← 1 2 3 4 5 →