A hybrid calculus for logic N*: residual finiteness and decidability

被引：0

作者：

S. A. Drobyshevich

机构：

[1] Russian Academy of Sciences,Sobolev Institute of Mathematics, Siberian Branch

来源：

Algebra and Logic | 2011年 / 50卷

关键词：

modal logic; intuitionistic logic; tabular calculus; hybrid calculus;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

It is proved that logic N* is residually finite and decidable. A hybrid calculus for the logic is constructed based on a tabular calculus for intuitionistic logic. It is shown that the hybrid calculus is sound and complete.

引用

页码：245 / 256

页数：11

共 50 条

[1] A HYBRID CALCULUS FOR LOGIC N*: RESIDUAL FINITENESS AND DECIDABILITY
Drobyshevich, S. A.
ALGEBRA AND LOGIC, 2011, 50 (03) : 245 - 256
[2] A sequent calculus for logic of knowledge and past time: Completeness and decidability
Sakalauskaitė J.
Lithuanian Mathematical Journal, 2006, 46 (3) : 347 - 355
[3] Decidability of quantum modal logic
Tokuo, Kenji
LOGIC JOURNAL OF THE IGPL, 2025,
[4] Decidability of some classes of modal logic
Norgela S.
Lithuanian Mathematical Journal, 2002, 42 (2) : 174 - 181
[5] Schematic Validity in Dynamic Epistemic Logic: Decidability
Holliday, Wesley H.
Hoshi, Tomohiro
Icard, Thomas F., III
LOGIC, RATIONALITY, AND INTERACTION, 2011, 6953 : 87 - 96
[6] Residual finiteness for admissible inference rules
Rybakov V.V.
Kiyatkin V.R.
Oner T.
Algebra and Logic, 2001, 40 (5) : 334 - 347
[7] The decidability of the intensional fragment of classical linear logic
Bimbo, Katalin
THEORETICAL COMPUTER SCIENCE, 2015, 597 : 1 - 17
[8] Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability
Chen, Qian
Li, Dazhu
DYNAMIC LOGIC. NEW TRENDS AND APPLICATIONS, DALI 2023, 2024, 14401 : 20 - 34
[9] Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω
Richard Zach
Journal of Philosophical Logic, 2004, 33 : 155 - 164
[10] Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity ≤ω
Zach, R
JOURNAL OF PHILOSOPHICAL LOGIC, 2004, 33 (02) : 155 - 164

← 1 2 3 4 5 →