| Полное название | Kotikova E.A., Rybakov M.N. Kripke incompleteness of first-order calculi with temporal modalities of CTL and ATL // Логические исследования. 2015. Т.21. №1. С.86-99. |
| Тип публикации | Статья |
| Язык | Английский |
| URL | https://elibrary.ru/item.asp?id=24105739 |
| Дата публикации | 01.01.1900 |
|
РИНЦ
RSCI
Перечень ВАК
Web of Science
Scopus
Белый список Исключено из Белого списка |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00