An extended dynamic logic is developed by using a special (infinitary) descriptive language as the building basis.

本文前半部分致力于建立一种（无穷）程序逻辑的基础。

youdao

An extended dynamic logic is developed by using a special (infinitary) descriptive language as the building basis.

本文前半部分致力于建立一种（无穷）程序逻辑的基础。

youdao