1. Главная
  2. Полный текст публикации: UNIFICATION AND FINITE MODEL PROPERTY FOR LINEAR STEP-LIKE TEMPORAL MULTI-AGENT LOGIC WITH THE UNIVERSAL MODALITY

Полный текст публикации: UNIFICATION AND FINITE MODEL PROPERTY FOR LINEAR STEP-LIKE TEMPORAL MULTI-AGENT LOGIC WITH THE UNIVERSAL MODALITY

Полный текст не загружен, но возможно он доступен по одной из следующих ссылок:

  1. DOI 10.18778/0138-0680.2022.16 (переход на страницу публикации на сайте издателя)
  2. Scopus (вверху ссылка «Скачать»)
  3. Поиск в Академии Google

Вернуться на страницу публикации