1. ЭДЛ (Грачёв) это модальная логика второго порядка 2. Потенциально полезна для описания диалоговых систем 3. Взаимодействие ИИ скафандра (или разума корабля/танка) и пилота/водителя вполне себе диалоговое.