{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:26Z","timestamp":1761611306265},"reference-count":36,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1080\/11663081.1993.10510805","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T07:54:25Z","timestamp":1338364465000},"page":"147-171","source":"Crossref","is-referenced-by-count":10,"title":["Dynamic logic with program specifications and its relational proof system"],"prefix":"10.1080","volume":"3","author":[{"given":"Ewa","family":"Orlowska","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"Brink, C. Boolean modules. 1981. Vol. 71, 291\u2013313. Journal of Algebra","DOI":"10.1016\/0021-8693(81)90179-4"},{"key":"CIT0002","unstructured":"Brink, C., Britz, K. and Peirce algebras, Schmidt R. 1992. \u201cReport MPI-I-92-229\u201d."},{"key":"CIT0003","unstructured":"Buszkowski, W. and Orlowska, E. 1986. \u201cOn the logic of data base dependencies. Bulletin of the PAS 34, Mathematics, 345\u2013354\u201d."},{"key":"CIT0004","unstructured":"Buszkowski, W. and Orlowska, E. 1986. \u201cRelational calculus and data dependencies. ICS PAS Reports, n\u221e 578, Warsaw\u201d."},{"key":"CIT0005","unstructured":"Chin, L. H. and Tarski, A. 1953. \u201cDistributive and modular laws in relation algebras. University of California Publications in Mathematics, New Series 1\u201d."},{"key":"CIT0006","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-09237-4","volume-title":"First Order Dynamic Logic. Lecture Notes in Computer Science, Vol. 69","author":"Harel D.","year":"1979"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0019-9958(82)90553-8","volume":"55","author":"Harel D.","year":"1984","journal-title":"Information and Control"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1016\/0022-0000(80)90007-0","volume":"20","author":"Hennessy M. C.B.","year":"1980","journal-title":"J. of Computer and System Sciences"},{"key":"CIT0009","doi-asserted-by":"crossref","unstructured":"Hoare, C. A.R. and He, J. F. 1986. \u201cThe weakest prespecification. Fundamenta Informaticae, IX, Part I: 51\u201384; Part II: 217\u2013252\u201d.","DOI":"10.3233\/FI-1986-9104"},{"key":"CIT0010","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF02483728","volume":"15","author":"Jonsson B.","year":"1982","journal-title":"Algebra Universalis"},{"key":"CIT0011","series-title":"Logics of programs. Lecture Notes in Computer Scvience","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-11160-3_1","volume":"125","author":"Kozen D.","year":"1981"},{"key":"CIT0012","first-page":"707","volume":"51","author":"Lyndon R. C.","year":"1950","journal-title":"Part I:"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(83)90055-6","volume":"25","author":"Maddux R.","year":"1983","journal-title":"Annals of Pure and Applied Logic"},{"key":"CIT0014","doi-asserted-by":"crossref","unstructured":"Maddux, R. 1991. \u201cThe origin of relation algebras in the development and axiomatization of the calculus of relations. Studia Logica, XLX, 421\u2013456\u201d.","DOI":"10.1007\/BF00370681"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Mirkowska, G. 1977. \u201cAlgorithmic logic and its applications in the theory of programs II. Fundamenta Informaticae, I, 147\u2013165\u201d.","DOI":"10.3233\/FI-1977-1111"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1307\/mmj\/1028999131","volume":"11","author":"Monk D.","year":"1964","journal-title":"Michigan Mathematical JournaL"},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"331","DOI":"10.2307\/2270900","volume":"34","author":"Monk D.","year":"1969","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0018","unstructured":"Orlowska, E. 1984. \u201cReasoning about database constraints. ICS PAS Reports n\u00b0 543, Warsaw\u201d."},{"issue":"2","key":"CIT0019","first-page":"2","volume":"17","author":"Orlowska E.","year":"1988","journal-title":"Bulletin of the Section of Logic"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0020-0190(88)90218-9","volume":"27","author":"Orlowska E.","year":"1988","journal-title":"Information Processing Letters"},{"issue":"4","key":"CIT0021","first-page":"132","volume":"18","author":"Orlowska E.","year":"1989","journal-title":"Bulletin of the Section of Logic"},{"issue":"2","key":"CIT0022","first-page":"39","volume":"19","author":"Orlowska E.","year":"1990","journal-title":"Bulletin of the Section of Logic"},{"key":"CIT0023","volume-title":"Algebraic aspects of the relational knowledge representation: modal relation algebras. Lecture Notes in Artificial Intelligence, Vol. 619","author":"Orlowska E.","year":"1990"},{"key":"CIT0024","unstructured":"Orlowska, E. 1991. \u201cPost relation algebras and their proof system. Proc. of the 21st Inter. Symp. on Multiple-Valued Logic, Victoria, Canada\u201d. 298\u2013305."},{"key":"CIT0025","volume-title":"Philosophical Logic in Poland","author":"Orlowska E."},{"key":"CIT0026","doi-asserted-by":"crossref","unstructured":"Pratt, V. R. 1976. \u201cSemantical considerations on Floyd-Hoare logic. Proc. of the 17th IEEE Symp. on Foundations of Computer Science, 109\u2013121\u201d.","DOI":"10.1109\/SFCS.1976.27"},{"key":"CIT0027","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0043079","volume":"425","author":"Pratt V. R.","year":"1990"},{"key":"CIT0028","first-page":"97","volume":"478","author":"Pratt V. R.","year":"1990","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"CIT0029","unstructured":"Rasiowa, H. and Sikorski, R. 1963. \u201cThe Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw\u201d."},{"key":"CIT0030","unstructured":"Sakalauskaite, J. and Valiev, M. 1988. \u201cCompleteness in propositional dynamic logic with infinite repeating. Abstracts of the Conf. on Mathematical Logic (HEYTING'88), Chaika, Bulgaria\u201d. 53\u201354."},{"key":"CIT0031","doi-asserted-by":"crossref","first-page":"111","DOI":"10.2307\/2273710","volume":"44","author":"Schoenfeld W.","year":"1979","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0032","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0019-9958(82)91258-X","volume":"54","author":"Street R. S.","year":"1982","journal-title":"Information and Control"},{"key":"CIT0033","volume-title":"Fixpoints and program looping: Reductions from propositional mu-calculus into propositional dynamic logics of looping. Lecture Notes in Computer Science, Vol. 193","author":"Street R. S.","year":"1985"},{"key":"CIT0034","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"Tarski A.","year":"1941","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0035","first-page":"188","volume":"18","author":"Tarski A.","year":"1953","journal-title":"Journal of Symbolic Logic"},{"key":"CIT0036","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1016\/S1385-7258(55)50009-6","volume":"17","author":"Tarski A.","year":"1955","journal-title":"Indagationes Mathematicae"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,16]],"date-time":"2022-01-16T12:54:24Z","timestamp":1642337664000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1993.10510805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1080\/11663081.1993.10510805"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1993.10510805","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}