Slices and Levels of Extensions of the Minimal Logic Научная публикация

Журнал	Siberian Mathematical Journal ISSN: 0037-4466 , E-ISSN: 1573-9260
Вых. Данные	Год: 2017, Том: 58, Номер: 6, Страницы: 1042-1051 Страниц : 10 DOI: 10.1134/s0037446617060131
Ключевые слова	decidability; Kripke frame; level; minimal logic; recognizable logic; slice
Авторы	Maksimova L.L. 1,2 , Yun V.F. 1,2
Организации	1 Sobolev Institute of Mathematics 2 Novosibirsk State University