In this paper, the predicate counterparts, defined both axiomatically and semantically by
means of Kripke frames, of the modal propositional logics,, and their extensions are …

We prove that the positive fragment of first-order intuitionistic logic in the language with two
individual variables and a single monadic predicate letter, without functional symbols …

It is well-known that every quantified modal logic complete with respect to a firstorder
definable class of Kripke frames is recursively enumerable. Numerous examples are also …

We investigate the relationship between recursive enumerability and elementary frame
definability in first-order predicate modal logic. On one hand, it is well known that every first …

Проблемы укладки домино являются удобным инструментом оценки алгоритмической
сложности задач, возникающих в различных разделах математики, в том числе в …

It is observed that fragments with only one monadic predicate letter of such logics as QK,
QK4, QT, QS4, QGL, QGrz, and others are undecidable. It is proved that fragments with only …

Рассматривается вопрос о возможности эффективного описания ненормальных и
квазинормальных предикатных модальных логик, определяемых семантически …

Рыбаков МН, Шкатов ДП (Тверь, Йоханнесбург) Известно [2, 6, 7], что модальные
предикатные логики, полные относительно первопорядково определимых классов …

Modal logics, both propositional and predicate, have been used in computer science since
the late 1970s. One of the most important properties of modal logics of relevance to their …

Рассматривается вопрос о возможности эффективного описания ненормальных и
квазинормальных предикатных модальных логик, определяемых семантически …