В данной работе развивается метод логической специфи- кации различных свойств мультиагентных систем, позволя- ющий в явном виде формализовать понятие ®действие¯, ме- ханизмы недетерминированного поведения внешней среды и кооперации агентов. Основу предложенного метода состав- ляет соединение возможностей динамической логики PDL и логики альтернированного времени ATL, а также адаптация их для спецификации свойств одной из математических мо- делей интеллектуального агента. Чтобы проиллюстрировать возможности метода, мы приводим пример его применения для спецификации простой мультиагентной системы.