RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика, 2023, том 62, номер 3, страницы 424–431 (Mi al2769)
Сообщения

Многоагентные временные логики, информация, унифицируемость и проективность

В. В. Рыбаковab

a Ин-т сист. информ. им. А. П. Ершова СО РАН, г. Новосибирск, РОССИЯ
b Ин-т матем. фундамент. информ., Сиб. федерал. ун-т, г. Красноярск, РОССИЯ

УДК: 510.64:510.65:510.66

Поступило: 11.12.2023
Окончательный вариант: 10.04.2024

DOI: 10.33048/alglog.2023.62.307


© МИАН, 2025