Некоторые примеры модальных логик без конечной аксиоматики. Сборник трудов конференции Информационные технологии и системы" (ИТиС"10) стр. 258-262, Москва, 2010.
| Авторы: Кудинов А.В., Шапировский И.Б. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025
Об институте | Контакты | Противодействие коррупции