The Expressibility of First Order Dynamic Logic

Fu Bin, Li Qiongzhang. The Expressibility of First Order Dynamic Logic[J]. Journal of Computer Science and Technology, 1992, 7(3): 268-273.

Citation:

Fu Bin, Li Qiongzhang. The Expressibility of First Order Dynamic Logic[J]. Journal of Computer Science and Technology, 1992, 7(3): 268-273.

Citation:

Fu Bin, Li Qiongzhang. The Expressibility of First Order Dynamic Logic[J]. Journal of Computer Science and Technology, 1992, 7(3): 268-273.

Abstract

This paper resolved an open problem proposed by A .P. Stolboushkin and M .A. Taitslin. We studied the expressibility of first order dynamic logic, and constructed infinite recursive program classes K_1 , K_2, …, RG K_1 K_2 … RF, such that L (RG)

FullText(HTML)

Export File