Чем занимается
Ключевые темы по публикациям: Логика, рассуждение и знания; Современные исследования алгебры и логики; Логика, программирование и системы типов; Теория полугрупп и автоматов; Семантическая сеть и онтологии.
Темы посчитаны по публикациям в OpenAlex; научный руководитель их не подтверждал
Выбранные работы
Все 54 в OpenAlexЧасть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.
- Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables2026
- Конъюнктивные запросы к базам знаний: какую семантику выбрать?2025
- Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)2025
- Polytime embedding of intuitionistic modal logics into their one-variable fragments2024
- Variations on the Kripke Trick2024
- Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages2020
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter2018 · аннотациясвернуть
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, constants, and equality, is…
Complexity and expressivity of propositional dynamic logics with finitely many variables2018 · аннотациясвернуть
We investigate the complexity of satisfiability for finite-variable fragments of propositional dynamic logics (PDLs). We consider three formalisms belonging to three representative complexity classes, broadly…
Наукометрия
Написать научруку
Email не найден в открытых источниках — поищи на странице вуза или в последних статьях.
Предложена самая свежая из выбранных работ профиля. Упомяни её, только если прочитал(а) и видишь связь со своей задачей.
Шаблон письма
Здравствуйте, [Имя Отчество]! Я студент(ка) [курс, факультет, вуз]. Мне интересна тема [опишите интересы своими словами]. Хочу решать задачу: [какую задачу хочу решать / тема ВКР]. Хочу обсудить возможность выполнить научную работу под вашим руководством. Буду благодарен(на) за ответ — готов(а) рассказать о себе подробнее и прислать резюме. С уважением, [Имя Фамилия]
Замени поля в квадратных скобках своими данными и отправь письмо из своей почты. Копирование сохраняет черновик и не отправляет письмо научруку.