{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:47Z","timestamp":1725663587206},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534143"},{"type":"electronic","value":"9783540468691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53414-8_52","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:02:51Z","timestamp":1330207371000},"page":"288-298","source":"Crossref","is-referenced-by-count":0,"title":["Decision procedure for checking validity of PAL formulas"],"prefix":"10.1007","author":[{"given":"Igor","family":"Walukiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"26_CR1","first-page":"247","volume":"28","author":"Chlebus","year":"1982","unstructured":"Chlebus, On the Decidability of Propositional Algorithmic Logic, Zeitschr. f. math. Logik 28, 247\u2013261 (1982)","journal-title":"Zeitschr. f. math. Logik"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Fisher M. J. and Ladner R. E., Propositional dynamic logic of regular programs, J. Comput. Syst. Sci. 18 194\u2013211.","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"26_CR3","first-page":"197","volume":"11","author":"D. Harel","year":"1984","unstructured":"Harel D., Dynamic Logic, Handbook of Philosophical Logic Vol 11, 197\u2013604 (1984)","journal-title":"Handbook of Philosophical Logic"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Mirkowska G., PAL \u2014 propositional algorithmic logic, Fund Informaticae 4, 675\u2013760. Also in Lecture Notes in Computer Science, Vol 125, Springer-Verlag pp.23\u2013101 (1981)","DOI":"10.1007\/3-540-11160-3_3"},{"key":"26_CR5","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00268322","volume":"12","author":"H. Nishimura","year":"1979","unstructured":"Nishimura H., Sequential Method in Propositional Dynamic Logic, Acta Informatica 12, pp. 377\u2013400 (1979)","journal-title":"Acta Informatica"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Nishimura H., Semantical Analysis of Constructive PDL, Publ. Res. Inst. Math. Sci. Kyoto Univ. (1981)","DOI":"10.2977\/prims\/1195183579"},{"key":"26_CR7","first-page":"227","volume":"18","author":"A. Salwicki","year":"1970","unstructured":"Salwicki A., Formalized algorithmic languages, Bull. Acad. Polon Sci. Ser Sci. Math. Astron. Phys. 18, pp. 227\u2013232 (1970)","journal-title":"Bull. Acad. Polon Sci. Ser Sci. Math. Astron. Phys."},{"key":"26_CR8","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0019-9958(82)91258-X","volume":"54","author":"R.S. Street","year":"1982","unstructured":"Street R.S., Propositional dynamic logic of looping and converse is elementary decidable, Inf. and Control 54 pp. 121\u2013141. (1982)","journal-title":"Inf. and Control"},{"key":"26_CR9","unstructured":"Walukiewicz I. Gentzen Type Axiomatization of PAL to appear in Proceedings of MFCS 90, Springer-Verlag."}],"container-title":["Lecture Notes in Computer Science","Aspects and Prospects of Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53414-8_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:49:58Z","timestamp":1605646198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53414-8_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534143","9783540468691"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-53414-8_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}