@inbook{c6e70afc59124e9ca3c1f289ffa90073,
title = "Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics",
abstract = "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.",
keywords = "deductive interpolation property, difference logic, weak interpolation property, weakly transitive modal logic, EXTENSIONS",
author = "Anastasia Karpenko",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-69917-2_9",
language = "English",
isbn = "978-3-319-69916-5",
series = "Outstanding Contributions to Logic",
publisher = "Springer Open",
pages = "171--183",
editor = "S Odintsov",
booktitle = "LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY",
address = "United Kingdom",
}