text: Происхождение всех букв понятно из английских названий конструкторов; буква S {\displaystyle {\mathcal {S}}} же была выбрана из-за тесной связи получающейся ДЛ с модальной логикой S 4 {\displaystyle \mathbf {S4} } (хотя в последней буква S означает просто system, саму же логику S 4 {\displaystyle \mathbf {S4} } выделяет среди других модальных логик именно цифра 4).