В роботі пропонується спеціальна прикладна логіка, яка описує особливості авторизаційних процесів в динамічних коаліційних системах.
Ключові слова: динамічні коаліційні системи, тривала авторизація, числення предикатів.
The work proposes special applied logic that describe characteristics of authorization processes in dynamic coalitions.
Key Words: dynamic coalition systems, prolonged authorization, predicate calculus.
