The expressibility of first order dynamic logic
The Expressibility of First Order Dynamic Logic

This paper resolved an open problem proposed by A. P. Stolboushkin and M. A. Taitslin6]. We studied the expressibility of first order dynamic logic, and constructed infinite recursive program classesK 1,K 2, ...,RG K 1 K2 … RF, such thatL, (RG)