Abstract
Following K. Segerberg [22], D. Kozen [15] and V. Pratt [19], who have been introduced dynamic propositional logic and dynamic algebras, dynamic propo......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
