A. A. Onoprienko

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

• Интуиционистская эпистемическая логика с точки зрения классической логики2026
• Chair of Mathematical Logic and Theory of Algorithms2025
• Impossibility of an embedding of the logic $\operatorname{HC}$ into $\operatorname{IEL}^+$ preserving the classical implication2025
• Bitopological models of intuitionistic epistemic logic2024
• Correction to the article A. A. Onoprienko “On the analogues of Erbran and Harrop theorems for the joint logic of problems and QHC statements”2024
• Topological Models of Propositional Logic of Problems and Propositions2022 · аннотациясвернуть

  Abstract The propositional fragment HC of the joint logic of problems and propositions introduced by Melikhov is considered. Topological models of this logic are constructed and the completeness of the logic HC with…

• Предикатный вариант совместной логики задач и высказываний2022 · аннотациясвернуть

  Рассматривается совместная логика задач и высказываний QHC, введенная С. А. Мелиховым. Строятся модели Крипке с отмеченными мирами этой логики, показывается корректность и полнота логики QHC…

• The predicate version of the joint logic of problems and propositions2022