PDL with Data Constants
暂无分享,去创建一个
[1] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[2] Richard E. Ladner,et al. Propositional modal logic of programs , 1977, STOC '77.
[3] Rohit Parikh. Propositional Dynamic Logics of Programs: a Survey , 1979, Logic of Programs.
[4] Rohit Parikh,et al. An Elementary Proof of the Completness of PDL , 1981, Theor. Comput. Sci..
[5] Albert R. Meyer,et al. The Deducibility Problem in Propositional Dynamic Logic , 1981, ICALP.
[6] David Harel,et al. First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.