Статья 319

Сразу после этого язык претерпел две модификации.
Выражение оказывается логически эквивалентно, где тавтология, и достаточно рассматривать выражения вида, где программа, формула. А здесь сразу становится видна синтаксическая аналогия между программами и модальностями либо временными связками, дополняющая ранее отмеченную семантическую. Далее, углубляя эту аналогию, целесообразно раздвоить программные операторы на необходимые и возможные. То, что программа всегда завершается, теперь выражается записью, где противоречие, тотальная корректность.
Из этих примеров видно, что язык становится намного выразительнее и богаче. Но остаются все проблемы, связанные с циклами.
Если теперь резко упростить сам логический язык, отказавшись от предикатов, переменных и кванторов, то становится незачем явно выделять переменные и в алгоритмической части, мы просто имеем некоторый алфавит исходных операторов и средства композиции более сложных последовательность.