A logic with infinitely many modalities is dynamic logic, introduced in 1976 and having a separate modal operator for every regular expression.
Логіка з нескінченним числом форм є динамічна логіка (висловлювання), введена в 1976 році і має окремий модальний оператор для кожного регулярного виразу.