| Полное название | 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 | |
| С участием зарубежных ученых |
