论文信息 - Propositional Dynamic Logic with Strong Loop Predicate - 字舞流文

Propositional Dynamic Logic with Strong Loop Predicate

Ryszard Danecki

[1] M. Rabin. Decidability of second-order theories and automata on infinite trees. , 1969 .

[2] D. Harel. Recurring dominoes: making the highly undecidable highly understandable , 1985 .

[3] Robert S. Streett. Propositional Dynamic Logic of looping and converse , 1981, STOC '81.

[4] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..