{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:07Z","timestamp":1725456127926},"publisher-location":"Berlin\/Heidelberg","reference-count":15,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354010027X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022530","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:49:12Z","timestamp":1132724952000},"page":"528-538","source":"Crossref","is-referenced-by-count":9,"title":["Dynamic algebras which are not Kripke structures"],"prefix":"10.1007","author":[{"given":"Jan","family":"Reiterman","sequence":"first","affiliation":[]},{"given":"V\u011bra","family":"Trnkov\u00e1","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","volume-title":"Math. Found. of Comp. Sci.","author":"L. Banachowski","year":"1977","unstructured":"Banachowski, L., A. Kreczmar, G. Mirkowska, H. Rasiowa, and A. Salwicki: \u201cAn introduction to algorithmic Logic,\u201d in: Mazurkiewicz and Pawlak, eds., Math. Found. of Comp. Sci., Banach Center Publications, Warszaw, 1977."},{"key":"39_CR2","doi-asserted-by":"crossref","unstructured":"Berman, F.: A completeness technique for D-axiomatizable semantics, Proc. 11th ACM Symp. on Theory of Comp. (May 1979), 160\u2013166.","DOI":"10.1145\/800135.804409"},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Fischer, M.J. and R.E. Ladner: Propositional modal logic of programs, Proc. 9th ACM Symp. on Theory of Comp. (May 197), 286\u2013294.","DOI":"10.1145\/800105.803418"},{"key":"39_CR4","volume-title":"Algebraic Logic","author":"P.R. Halmos","year":"1962","unstructured":"Halmos, P.R.: Algebraic Logic, Chelsea, New York 1962."},{"key":"39_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First Order Dynamic Logic, Lecture Notes in Comp. Sci 68","author":"D. Harel","year":"1979","unstructured":"Harel, D.: First Order Dynamic Logic, Lecture Notes in Comp. Sci 68, Springer Verlag, Berlin 1979."},{"key":"39_CR6","doi-asserted-by":"crossref","unstructured":"Kozen, D.: A representation theorem for models of *-free PDL, manuscript, July 1979.","DOI":"10.1007\/3-540-10003-2_83"},{"key":"39_CR7","unstructured":"Kozen, D.: On the duality of dynamic algebras and Kripke models, manuscript, May 1979."},{"key":"39_CR8","unstructured":"Kozen, D.: On the representation of dynamic algebras, manuscript, October 1979."},{"key":"39_CR9","volume-title":"A completeness result for PDL, Symp. on Math. Found. of Comp. Sci.","author":"R. Parikh","year":"1978","unstructured":"Parikh, R.: A completeness result for PDL, Symp. on Math. Found. of Comp. Sci., Warszawa, Springer Verlag 1978."},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: A practical decision method for Propositional Dynamic Logic, Proc. 10th ACM Symp. on Theory of Comp. (May 1978), 326\u2013337.","DOI":"10.1145\/800133.804362"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Models of program logics, Proc. 20th IEEE Symp. on Foundations of Comp. Sci. (October 1979), to appear.","DOI":"10.1109\/SFCS.1979.24"},{"key":"39_CR12","unstructured":"Pratt, V.R.: Dynamic algebras: examples, constructions, applications, manuscript, July 1979."},{"key":"39_CR13","unstructured":"Salwicki, A.: Formalized Algorithmic Languages, Bull. Acad. Pol. Sci., S\u00e9r. Sci. Math. Astr. Phys. Vol. 18 No 5, 1970."},{"key":"39_CR14","first-page":"A","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"},{"key":"39_CR15","unstructured":"Sikorski, R.: Boolean algebras, Springer Verlag 1964."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1980"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022530","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:21:22Z","timestamp":1586578882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022530"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354010027X"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0022530","relation":{},"subject":[]}}