{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:37Z","timestamp":1725662917867},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_114","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:33:54Z","timestamp":1330191234000},"page":"463-472","source":"Crossref","is-referenced-by-count":1,"title":["On representation of dynamic algebras with reversion"],"prefix":"10.1007","author":[{"given":"Jan","family":"Reiterman","sequence":"first","affiliation":[]},{"given":"V\u011bra","family":"Trnkov\u00e1","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"45_CR1","volume-title":"Math. Found. Comp. Sci.","author":"L. Banachowski","year":"1977","unstructured":"Banachowski, L., Kreczmar, A., Mirkowska, G., Rasiowa, H. and Salwicki, A., An introduction to algorithmic logic, In: Mazurkiewicz and Pawlak, eds., Math. Found. Comp. Sci., Banach Center Publications, Warszawa 1977."},{"key":"45_CR2","series-title":"Lecture Notes in Comp. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First order dynamic logic","author":"D. Harel","year":"1979","unstructured":"Harel, D., First order dynamic logic, Lecture Notes in Comp. Sci. 68, Springer Verlag Berlin 1979."},{"doi-asserted-by":"crossref","unstructured":"Kozen, D., A representation theorem formodels of *-free PDL, manuscript, July 1979.","key":"45_CR3","DOI":"10.1007\/3-540-10003-2_83"},{"unstructured":"Kozen, D., On the duality of dynamic algebras and Kripke models, manuscript, May 1979.","key":"45_CR4"},{"unstructured":"Kozen, D., On the representation of dynamic algebras, manuscript, October 1979.","key":"45_CR5"},{"unstructured":"Kozen, D., On the representation of dynamic algebras II, manuscript, May 1980.","key":"45_CR6"},{"unstructured":"Pratt, V.R., Dynamic algebras; examples, constructions, applications, MIT\/LCS\/TM \u2014 138, Laboratory for Comp. Sci. July 1979.","key":"45_CR7"},{"doi-asserted-by":"crossref","unstructured":"Pratt, V.R., Dynamic algebras and the nature of induction, MIT\/LCS\/\/TM 138, Laboratory for Comp. Sci. March 1980.","key":"45_CR8","DOI":"10.1145\/800141.804649"},{"key":"45_CR9","doi-asserted-by":"crossref","first-page":"209","DOI":"10.4064\/cm-22-2-209-214","volume":"22","author":"K. Prikry","year":"1971","unstructured":"Prikry, K., On \u03c3-complete prime ideals in Boolean algebras, Coll. Math. 22 1971, 209\u2013214.","journal-title":"Coll. Math."},{"doi-asserted-by":"crossref","unstructured":"Reiterman, J., Trnkov\u00e1, V., Dynamic algebras which are not Kripke structures, Proc. MFCS 1980.","key":"45_CR10","DOI":"10.1007\/BFb0022530"},{"unstructured":"Salwicki, A., Formalized algorithmic languages, Bull. Acad. Pol. Sci., Ser. Sci. Math. Astr. Phys. Vol. 18, No 5, 1970.","key":"45_CR11"},{"key":"45_CR12","volume-title":"Boolean algebras","author":"R. Sikorski","year":"1964","unstructured":"Sikorski, R., Boolean algebras, Springer Verlag Berlin 1964."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_114.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:03:58Z","timestamp":1605643438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_114"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_114","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}