Опубликована статья Анастасии Оноприенко

В журнале «Математические заметки» вышла статья Анастасии Оноприенко «Интуиционистская эпистемическая логика с точки зрения классической логики». 

Аннотация 

Рассматриваются интуиционистские эпистемические логики IEL−, IEL и IEL+, введенные С. Артёмовым и Т. Протопопеску. Строится перевод формул этих логик в формулы классической бимодальной логики S4V−M, S4VM, S4V+M и S4V+MU, являющийся обобщением варианта перевода Гёделя интуиционистской логики в логику S4. Показана конечность множества попарно неэквивалентных модальностей в логиках S4V+M и S4V+MU и бесконечность множества попарно неэквивалентных модальностей в логике S4V+. Установлена финитная аппроксимируемость логики S4V+MU.

 

Оноприенко А. А. Интуиционистская эпистемическая логика с точки зрения классической логики // Математические заметки. 2026. Т. 120. № 1. С. 118–139.