С.Л. Кузнецов, С.О. Сперанский. Инфинитарная логика действий с экспоненциальными модальностями