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 条
[21]   Loop-free calculus for modal logic . II [J].
Andrikonis, Julius .
LITHUANIAN MATHEMATICAL JOURNAL, 2012, 52 (02) :123-133
[22]   Intransitive Temporal Multi-agent Logic with Agents' Multi-valuations. Decidability [J].
Grekovich, Konstantin, V ;
Rybakov, Vladimir V. ;
Rimatskiy, Vitaliy V. .
BULLETIN OF IRKUTSK STATE UNIVERSITY-SERIES MATHEMATICS, 2025, 51 :141-150
[23]   Double negation operator in logic N∗ [J].
Drobyshevich S.A. .
Journal of Mathematical Sciences, 2015, 205 (3) :389-402
[24]   Coalgebraic Hybrid Logic [J].
Myers, Rob ;
Pattinson, Dirk ;
Schroeder, Lutz .
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, 2009, 5504 :137-+
[25]   Arthur Prior and Hybrid Logic [J].
Patrick Blackburn .
Synthese, 2006, 150 :329-372
[26]   Hybrid sabotage modal logic [J].
van Benthem, Johan ;
Li, Lei ;
Shi, Chenwei ;
Yin, Haoxuan .
JOURNAL OF LOGIC AND COMPUTATION, 2023, 33 (06) :1216-1242
[27]   Arthur Prior and hybrid logic [J].
Blackburn, Patrick .
SYNTHESE, 2006, 150 (03) :329-372
[28]   Natural deduction for hybrid logic [J].
Braüner, T .
JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (03) :229-353
[29]   The modal logic of β(N) [J].
Bezhanishvili, Guram ;
Harding, John .
ARCHIVE FOR MATHEMATICAL LOGIC, 2009, 48 (3-4) :231-242
[30]   Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic [J].
Castano, Diego ;
Manuel Cornejo, Juan .
STUDIA LOGICA, 2016, 104 (06) :1245-1265
12345