On Induction vs. *-Continuity
暂无分享,去创建一个
[1] Vaughan R. Pratt,et al. Models of program logics , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).
[2] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[3] H. Keisler. Model theory for infinitary logic , 1971 .
[4] Vaughan R. Pratt,et al. Dynamic algebras and the nature of induction , 1980, STOC '80.
[5] Dexter Kozen,et al. On the Duality of Dynamic Algebras and Kripke Models , 1979, Logic of Programs.
[6] Rohit Parikh,et al. The Completeness of Propositional Dynamic Logic , 1978, MFCS.
[7] K. Segerberg. A completeness theorem in the modal logic of programs , 1982 .
[8] Dexter Kozen,et al. A Representation Theorem for Models of *-Free PDL , 1980, ICALP.
[9] Arto Salomaa,et al. Two Complete Axiom Systems for the Algebra of Regular Events , 1966, JACM.
[10] Vera Trnková,et al. Dynamic Algebras which are not Kripke Structures , 1980, MFCS.
[11] Rohit Parikh,et al. An Elementary Proof of the Completness of PDL , 1981, Theor. Comput. Sci..
[12] V N Redko,et al. On the determinative aggregate of relationships of the algebra of regular events , 1964 .