We study the algorithmic properties of first-order monomodal logics of frames,,,,,, as well as
some related logics, in languages with restrictions on the number of individual variables as …

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 …

We obtain an effective embedding of the classical predicate logic into the logic of partial
quasiary predicates. The embedding has the property that an image of a non-theorem of the …

The joint logic of problems and propositions QHC introduced by SA Melikhov, as well as
intuitionistic modal logic QH4, is studied. An immersion of these logics into classical first …

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

The question about recursive enumerability of modal predicate logics defined by non first-
order definable classes of Kripke frames is considered. It is proved that logics of classes of …

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

Computational properties of the logic of partial quasiary predicates Page 1 Computational
properties of the logic of partial quasiary predicates Mikhail Rybakov m_rybakov@mail.ru …

Рассматривается язык классической логики предикатов с равенством, обогащенный
модальностями темпоральной логики CTL*. В качестве семантики для него …

Рассматривается совместная логика задач и высказываний ${\mathrm {QHC}} $,
введённая СА Мелиховым, а также интуиционистская модальная логика ${\mathrm …