Финитная аппроксимируемость для нетранзитивной нерефлексивной временной логики с движением в прошлое, допускающей отношения агентов
Авторы
ИМиФИ СФУ
Аннотация
Аннотация пока не опубликована.
Библиографическая ссылка
Бушакова Юлия Александровна. Финитная аппроксимируемость для нетранзитивной нерефлексивной временной логики с движением в прошлое, допускающей отношения агентов // Междисциплинарная конференция молодых учёных ФИЦ КНЦ СО РАН (КМУ-XXIX): тезисы докладов. — Красноярск: ИФ СО РАН. — 2026. — С. 141.
Скачать полный сборникPDF · 7 162 КБ