A logic with infinitely many modalities is dynamic logic, introduced in 1976 and having a separate modal operator for every regular expression.
O logică cu infinit de multe modalități este (propozițional) logică dinamică, introdusă în 1976 și având un operator modal separat pentru fiecare expresie regulată.