{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:45Z","timestamp":1725662865432},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108436"},{"type":"electronic","value":"9783540387459"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10843-2_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:27:42Z","timestamp":1330190862000},"page":"238-248","source":"Crossref","is-referenced-by-count":2,"title":["The deducibility problem in Propositional Dynamic Logic"],"prefix":"10.1007","author":[{"given":"Albert R.","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert S.","family":"Streett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grazyna","family":"Mirkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"20_CR1","first-page":"194","volume":"18","author":"M. J. Fischer","year":"1979","unstructured":"Fischer, M. J. and R. E. Ladner, \"Propositional Dynamic Logic of Regular Programs\", JCSS, 18, 194\u2013211, 1979.","journal-title":"JCSS"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Mirkowska, G., \"Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations\", Proceedings of the 12th ACM Symposium on Theory of Computing, 14\u201321, 1980.","DOI":"10.1145\/800141.804648"},{"key":"20_CR3","unstructured":"Mirkowska, G., personal communication. Warsaw, July, 1980."},{"key":"20_CR4","first-page":"231","volume":"20","author":"V. R. Pratt","year":"1980","unstructured":"Pratt, V. R., \"Models of Program Logics\", JCSS, 20, 231\u2013254, 1980.","journal-title":"JCSS"},{"key":"20_CR5","unstructured":"Rogers, H., Theory of Recursive Functions and Effective Computability, McGraw-Hill Book Company, 1967."},{"key":"20_CR6","unstructured":"Shoenfield, J. R., Mathematical Logic, Addison-Wesley Publishing Company, 1967."},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Streett, R. S., \"Propositional Dynamic Logic of Looping and Converse\", Proceedings of the 13th ACM Symposium on Theory of Computing, 1981.","DOI":"10.1145\/800076.802492"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10843-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:39:12Z","timestamp":1619555952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10843-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108436","9783540387459"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-10843-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}