On expressive power of basic modal intuitionistic logic as a fragment of classical FOL › Обзор исследований

DOI

https://doi.org/10.1016/j.jal.2016.11.036
Конечная издательская версия

Grigory K. Olkhovikov

Язык оригинала	Английский
Страницы (с-по)	57-90
Число страниц	34
Журнал	Journal of Applied Logic
Том	21
DOI	https://doi.org/10.1016/j.jal.2016.11.036
Состояние	Опубликовано - 1 мая 2017

Предметные области ASJC Scopus

Logic
Applied Mathematics

Предметные области WoS

Компьютерные науки, Искусственный интеллект
Компьютерные науки, Теория и методы
Математика, Прикладная
Логика

ID: 1620769