{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T05:08:34Z","timestamp":1736140114740,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354011212X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0025782","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:23:41Z","timestamp":1132395821000},"page":"167-176","source":"Crossref","is-referenced-by-count":23,"title":["On induction vs. *-continuity"],"prefix":"10.1007","author":[{"given":"Dexter","family":"Kozen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"M.J. Fischer","year":"1979","unstructured":"Fischer, M.J. and R.E.Ladner, \"Propositional dynamic logic of regular programs,\" J. Comput. Syst. Sci. 18:2 (1979).","journal-title":"J. Comput. Syst. Sci."},{"key":"13_CR2","volume-title":"Model Theory for Infinitary Logic","author":"H.J. Keisler","year":"1971","unstructured":"Keisler, H.J. Model Theory for Infinitary Logic. North Holland, Amsterdam, 1971."},{"key":"13_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/3-540-10003-2_83","volume-title":"Proc. 7th Int. Colloq. on Automata, Languages, and Programming","author":"D. Kozen","year":"1980","unstructured":"Kozen, D., \"A representation theorem for models of *-free PDL,\" Proc. 7th Int. Colloq. on Automata, Languages, and Programming, Lecture Notes in Computer Science 85, ed. Goos and Hartmanis, Springer-Verlag, Berlin, 1980, 351\u2013362. Also Report RC7864, IBM Research, Yorktown Heights, New York, Sept. 1979."},{"key":"13_CR4","volume-title":"\"On the duality of dynamic algebras and Kripke models,\" Report RC7893","author":"D. Kozen","year":"1979","unstructured":"\u2014, \"On the duality of dynamic algebras and Kripke models,\" Report RC7893, IBM Research, Yorktown Heights, New York, Oct. 1979."},{"key":"13_CR5","volume-title":"\"On the representation of dynamic algebras,\" Report RC7898","author":"D. Kozen","year":"1979","unstructured":"\u2014, \"On the representation of dynamic algebras,\" Report RC7898, IBM Research, Yorktown Heights, New York, Oct. 1979."},{"key":"13_CR6","volume-title":"\"On the representation of dynamic algebras II,\" Report RC8290","author":"D. Kozen","year":"1980","unstructured":"\u2014, \"On the representation of dynamic algebras II,\" Report RC8290, IBM Research, Yorktown Heights, New York, May 1980."},{"key":"13_CR7","unstructured":"\u2014, and R. Parikh, \"An elementary proof of the completeness of PDL,\" TCS, to appear; also IBM Report RC8097, Jan. 1980."},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Parikh, R., \"A completeness result for PDL,\" Symp. on Math. Found. of Comp. Sci., Zakopane, Springer-Verlag, May 1978, 403\u2013415.","DOI":"10.1007\/3-540-08921-7_88"},{"key":"13_CR9","unstructured":"Pratt, V.R., \"Dynamic Algebras: Examples, Constructions, Applications,\" MIT\/LCS Report TM-138, July 1979."},{"key":"13_CR10","unstructured":"\u2014, \"Models of program logics,\" Proc. 20th IEEE Symp. on Foundations of Comp. Sci. (Oct. 1979), 115\u2013122."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"\u2014, \"Dynamic algebras and the nature of induction,\" Proc. 12th ACM Symp. on Theory of Computing (May 1980), 22\u201328.","DOI":"10.1145\/800141.804649"},{"key":"13_CR12","first-page":"120","volume":"16","author":"V.N. Redko","year":"1964","unstructured":"Redko, V.N., \"On defining relations for the algebra of regular events,\" (Russian), Ukrain. Math. Z. 16 (1964), 120\u2013126.","journal-title":"Ukrain. Math. Z."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Reiterman, J. and V. Trnkov\u00e1, \"Dynamic algebras which are not Kripke structures,\" Proc. 9th Symp. on Math. Found. of Computer Science (Aug. 1980), 528\u2013538.","DOI":"10.1007\/BFb0022530"},{"issue":"1","key":"13_CR14","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1145\/321312.321326","volume":"13","author":"A. Salomaa","year":"1966","unstructured":"Salomaa, A., \"Two complete axiom systems for the algebra of regular events,\" J. ACM 13:1 (1966), 158\u2013169.","journal-title":"J. ACM"},{"key":"13_CR15","first-page":"6","volume":"24","author":"K Segerberg","year":"1977","unstructured":"Segerberg, K., \"A completeness theorem in the modal logic of programs,\" Not. AMS 24:6 (1977), A-552.","journal-title":"Not. AMS"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0025782","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T19:11:20Z","timestamp":1736104280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025782"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354011212X"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0025782","relation":{},"subject":[]}}