Algorithmic Correspondence for Hybrid Logic with Binder

被引：1

作者：

Zhao, Zhiguang ^{[1
]}

机构：

[1] Taishan Univ, Sch Math & Stat, Tai An 271000, Shandong, Peoples R China

来源：

LOGIC JOURNAL OF THE IGPL | 2023年 / 31卷 / 01期

关键词：

Correspondence theory; hybrid logic with binder; ALBA algorithm; SAHLQVIST THEORY; MODAL LOGIC; COMPLETENESS;

D O I：

10.1093/jigpal/jzab029

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

In the present paper, we develop the algorithmic correspondence theory for hybrid logic with binder H(@,down arrow). We define the class of Sahlqvist inequalities for H(@,down arrow), and each inequality of which is shown to have a first-order frame correspondent effectively computable by an algorithm ALBA down arrow.

引用

页码：39 / 67

页数：29

共 21 条

[1]

[Anonymous], 1975, Studies in Logic and the Foundations of Mathematics

[2]

Bezhanishvili N., 2004, PREL P ADV MOD LOG, P2004

[3]

Blackburn P., 2006, Handbook of Modal Logic

[4]

Conradie W., ARXIV151104271

[5]

Conradie W, 2006, J LOGIC COMPUT, V16, P579, DOI 10.1093/logcom/ex1026

[6] SAHLQVIST VIA TRANSLATION [J].

Conradie, Willem ;

Palmigiano, Alessandra ;

Zhao, Zhiguang .

LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (01) :15:1-15:35

[7] Algebraic modal correspondence: Sahlqvist and beyond [J].

Conradie, Willem ;

Palmigiano, Alessandra ;

Sourabh, Sumit .

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 91 :60-84

[8] On Sahlqvist theory for hybrid logics [J].

Conradie, Willem ;

Robinson, Claudette .

JOURNAL OF LOGIC AND COMPUTATION, 2017, 27 (03) :867-900

[9]

Conradie W, 2014, OUTST CONTRIB LOGIC, V5, P933, DOI 10.1007/978-3-319-06025-5_36

[10] Algorithmic correspondence and canonicity for distributive modal logic [J].

Conradie, Willem ;

Palmigiano, Alessandra .

ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (03) :338-376

← 1 2 3 →