В Московском математическом обществе
Сообщения Московского математического общества

О финитной аппроксимируемости модальных логик конечной глубины

А. В. Кудинов, И. Б. Шапировский

Институт проблем передачи информации им. А.А. Харкевича Российской академии наук

MSC: 03B45

Представлено: С. К. Ландо
Принято редколлегией: 23.06.2015

DOI: 10.4213/rm9686

 Англоязычная версия: Russian Mathematical Surveys, 2016, 71:1, 164–166

Реферативные базы данных:

• 
• 
• 
• 
• 
•