本文前半部分致力于建立一种（无穷）程序逻辑的基础。
An extended dynamic logic is developed by using a special ( infinitary ) descriptive language as the building basis .
无穷逻辑