{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:53:41Z","timestamp":1725663221992},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540119814"},{"type":"electronic","value":"9783540394457"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-11981-7_23","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:50:05Z","timestamp":1330192205000},"page":"314-324","source":"Crossref","is-referenced-by-count":1,"title":["Filtration theorem for dynamic algebras with tests and inverse operator"],"prefix":"10.1007","author":[{"given":"Dimiter","family":"Vakarelov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"23_CR1","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":"23_CR2","unstructured":"Kozen, D. On the duality of dynamic algebras and Kripke models, manuscript, may 1979."},{"key":"23_CR3","unstructured":"Kozen, D. On the representation of dynamic algebras, manuscript, October, 1979."},{"key":"23_CR4","unstructured":"Pratt, V. R. Dynamic algebras: examples, constructions, applications, manuscript, July, 1979."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Pratt, V. R. Dynamic algebras and the nature of induction, manuscript, March, 1980.","DOI":"10.1145\/800141.804649"},{"key":"23_CR6","unstructured":"Longochev, I. A completeness theorem for PDL with test operator, master thesis, April 1980 (Bulgarian, Math. Fac. Sofia univ.)"},{"key":"23_CR7","unstructured":"Longochev, I. A completeness theorem for PDL with test operator, J. Theoretical and System Programming, Computing Centre SOAN SSSR 1981, Novosibirsk (in Russian)"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1007\/BFb0022530","volume":"88","author":"J. Reiterman","year":"1980","unstructured":"Reiterman, J. and Trnkov\u00e0, V. Dynamic algebras which are not Kripke structures, Lecture Notes in Computer Science 88, 1980, 528\u2013538.","journal-title":"Lecture Notes in Computer Science"},{"key":"23_CR9","unstructured":"Segerberg, K. A completeness theorem in the modal logics of programs, to appear in the Stefan Banach International Mathematical Centre, publications series."},{"key":"23_CR10","unstructured":"Rasiowa, H. and Sikorski R. The Mathematics of Metamathematics, Warsaw, 3rd ed. 1970."},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"Fischer, M. J. and Ladner, R. E. Propositional Modal Logic of Programs, Proc; 9th ACM Symp. on Theory of Comp. May 2\u20134, 1977, pp 160\u2013166.","DOI":"10.1145\/800105.803418"}],"container-title":["Lecture Notes in Computer Science","Logics of Programs and Their Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-11981-7_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:33Z","timestamp":1605643533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-11981-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540119814","9783540394457"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-11981-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}