TY - CHAP

T1 - Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

AU - Karpenko, Anastasia

PY - 2018/1/1

Y1 - 2018/1/1

N2 - This article surveys results on different versions of interpolation property in extensions of weakly transitive modal logic wK4 and of difference logic DL as well as the results on algebraic analogs of these properties for varieties of weakly transitive and DL-algebras. In particular, we describe all DL-extensions with IPD and prove that this property is decidable over DL. We also establish the decidability of WIP over wK4.

AB - This article surveys results on different versions of interpolation property in extensions of weakly transitive modal logic wK4 and of difference logic DL as well as the results on algebraic analogs of these properties for varieties of weakly transitive and DL-algebras. In particular, we describe all DL-extensions with IPD and prove that this property is decidable over DL. We also establish the decidability of WIP over wK4.

KW - deductive interpolation property

KW - difference logic

KW - weak interpolation property

KW - weakly transitive modal logic

KW - EXTENSIONS

UR - http://www.scopus.com/inward/record.url?scp=85068181280&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-69917-2_9

DO - 10.1007/978-3-319-69917-2_9

M3 - Chapter

AN - SCOPUS:85068181280

SN - 978-3-319-69916-5

T3 - Outstanding Contributions to Logic

SP - 171

EP - 183

BT - LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY

A2 - Odintsov, S

PB - Springer Open

ER -