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