Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics

Результат исследования: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаярецензирование

1 Цитирования (Scopus)

Аннотация

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.

Язык оригиналаанглийский
Название основной публикацииLARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY
РедакторыS Odintsov
ИздательSpringer Open
Страницы171-183
Число страниц13
ISBN (печатное издание)978-3-319-69916-5
DOI
СостояниеОпубликовано - 1 янв 2018

Серия публикаций

НазваниеOutstanding Contributions to Logic
Том15
ISSN (печатное издание)2211-2758
ISSN (электронное издание)2211-2766

Fingerprint Подробные сведения о темах исследования «Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics». Вместе они формируют уникальный семантический отпечаток (fingerprint).

  • Цитировать

    Karpenko, A. (2018). Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics. В S. Odintsov (Ред.), LARISA MAKSIMOVA ON IMPLICATION, INTERPOLATION, AND DEFINABILITY (стр. 171-183). (Outstanding Contributions to Logic; Том 15). Springer Open. https://doi.org/10.1007/978-3-319-69917-2_9