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 条
[41]   LOOP-FREE CALCULUS FOR MODAL LOGIC S4. I [J].
Andrikonis, Julius .
LITHUANIAN MATHEMATICAL JOURNAL, 2012, 52 (01) :1-12
[42]   Loop-free calculus for modal logic S4. II [J].
Julius Andrikonis .
Lithuanian Mathematical Journal, 2012, 52 :123-133
[43]   Loop-free calculus for modal logic S4. I [J].
Julius Andrikonis .
Lithuanian Mathematical Journal, 2012, 52 :1-12
[44]   Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus [J].
Fiorino, Guido .
INFORMATION SCIENCES, 2010, 180 (19) :3633-3646
[45]   Cut-Elimination and a Permutation-Free Sequent Calculus for Intuit ionist ic Logic [J].
Dyckhoff R.O.Y. ;
Pinto L. .
Studia Logica, 1998, 60 (1) :107-118
[46]   A New Calculus for Intuitionistic Strong Lob Logic: Strong Termination and Cut-Elimination, Formalised [J].
Shillito, Ian ;
van der Giessen, Iris ;
Gore, Rajeev ;
Iemhoff, Rosalie .
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 :73-93
[47]   Tableau-based decision procedures for hybrid logic [J].
Bolander, Thomas ;
Brauener, Torben .
JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (06) :737-763
[48]   The expressibility of fragments of Hybrid Graph Logic on finite digraphs [J].
Gate, James ;
Stewart, Iain A. .
JOURNAL OF APPLIED LOGIC, 2013, 11 (03) :272-288
[49]   An Axiom System for Basic Hybrid Logic with Propositional Quantifiers [J].
Blackburn, Patrick ;
Brauner, Torben ;
Kofod, Julie Lundbak .
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2023, 2023, 13923 :118-134
[50]   Two Natural Deduction Systems for Hybrid Logic: A Comparison [J].
Torben Braüner .
Journal of Logic, Language and Information, 2004, 13 (1) :1-23
12345