Abstract:
A certain canonical form is introduced for formulas of the logic $L_{\infty\omega}(n)$, and it is proved that every formula of this logic is equivalent on free algebras to some canonical formula. This permits one to establish that no finite number of programs is sufficient to express all inquiries expressible in dynamic logic and involving the free algebra under consideration. Also obtained, as a corollary, are results to the effect that an infinite memory increases the expressive possibilities of dynamic logic.
Bibliography: 7 titles.
Fulltext:
PDF file (971 kB)
