Original languageEnglish
Pages (from-to)1042-1051
Number of pages10
JournalSiberian Mathematical Journal
Volume58
Issue number6
DOIs
Publication statusPublished - 1 Nov 2017

    OECD FOS+WOS

    Research areas

  • decidability, Kripke frame, level, minimal logic, recognizable logic, slice, INTERPOLATION

ID: 9952471