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 条
[31]   Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic [J].
Castano, Diego ;
Manuel Cornejo, Juan .
STUDIA LOGICA, 2016, 104 (06) :1245-1265
[32]   Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic [J].
Diego Castaño ;
Juan Manuel Cornejo .
Studia Logica, 2016, 104 :1245-1265
[33]   Spatial logic of tangled closure operators and modal mu-calculus [J].
Goldblatt, Robert ;
Hodkinson, Ian .
ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (05) :1032-1090
[34]   Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic [J].
Lopes, Bruno ;
Nalon, Claudia ;
Haeusler, Edward Hermann .
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (02)
[35]   Algorithmic Correspondence for Hybrid Logic with Binder [J].
Zhao, Zhiguang .
LOGIC JOURNAL OF THE IGPL, 2023, 31 (01) :39-67
[36]   Many-valued hybrid logic [J].
Hansen, Jens Ulrik ;
Bolander, Thomas ;
Brauner, Torben .
JOURNAL OF LOGIC AND COMPUTATION, 2018, 28 (05) :883-908
[37]   Hybrid Logic of the Hide and Seek Game [J].
Sano, Katsuhiko ;
Liu, Fenrong ;
Li, Dazhu .
STUDIA LOGICA, 2024,
[38]   Adding intensional machinery to hybrid logic [J].
Brauener, Torben .
JOURNAL OF LOGIC AND COMPUTATION, 2008, 18 (04) :631-648
[39]   NAMED MODELS IN COALGEBRAIC HYBRID LOGIC [J].
Schroeder, Lutz ;
Pattinson, Dirk .
27TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2010), 2010, 5 :645-656
[40]   Resolution in modal, description and hybrid logic [J].
Areces, C ;
de Rijke, M ;
de Nivelle, H .
JOURNAL OF LOGIC AND COMPUTATION, 2001, 11 (05) :717-736
12345