Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Математика; Новосибирск; Новосибирск

Год издания: 2025

Ключевые слова: модальные логики, Теории унификации, Линейные шкалы Крипке, кортежная семантика

Журнал: Математика

Номера страниц: 40

Место издания: Новосибирск

• Поляков А. А. (Сибирский федеральный университет)

• РИНЦ (eLIBRARY.RU)