Standard

Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics. / Karpenko, Anastasia.

LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY. ed. / S Odintsov. Springer Open, 2018. p. 171-183 (Outstanding Contributions to Logic; Vol. 15).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review

Harvard

Karpenko, A 2018, Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics. in S Odintsov (ed.), LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY. Outstanding Contributions to Logic, vol. 15, Springer Open, pp. 171-183. https://doi.org/10.1007/978-3-319-69917-2_9

APA

Karpenko, A. (2018). Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics. In S. Odintsov (Ed.), LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY (pp. 171-183). (Outstanding Contributions to Logic; Vol. 15). Springer Open. https://doi.org/10.1007/978-3-319-69917-2_9

Vancouver

Karpenko A. Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics. In Odintsov S, editor, LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY. Springer Open. 2018. p. 171-183. (Outstanding Contributions to Logic). doi: 10.1007/978-3-319-69917-2_9

Author

Karpenko, Anastasia. / Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics. LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY. editor / S Odintsov. Springer Open, 2018. pp. 171-183 (Outstanding Contributions to Logic).

BibTeX

@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",

}

RIS

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 -

ID: 20778588