{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T13:49:00Z","timestamp":1648734540277},"reference-count":18,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T00:00:00Z","timestamp":1389744000000},"content-version":"unspecified","delay-in-days":6345,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Bull. symb. log."],"published-print":{"date-parts":[[1996,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The prepositional \u03bc-calculus is an extension of the modal system K with a least fixpoint operator. Kozen posed a question about completeness of the axiomatisation of the logic which is a small extension of the axiomatisation of the modal system K. It is shown that this axiomatisation is complete.<\/jats:p>","DOI":"10.2307\/420995","type":"journal-article","created":{"date-parts":[[2006,5,7]],"date-time":"2006-05-07T03:09:17Z","timestamp":1146971357000},"page":"349-366","source":"Crossref","is-referenced-by-count":7,"title":["A Note on the Completeness of Kozen's Axiomatisation of the Propositional \u03bc-Calculus"],"prefix":"10.1017","volume":"2","author":[{"given":"Igor","family":"Walukiewicz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,1,15]]},"reference":[{"key":"S1079898600007861_ref012","first-page":"402","volume-title":"LICS '88","author":"Niwi\u0144skl","year":"1988"},{"key":"S1079898600007861_ref018","first-page":"136","volume-title":"LICS '93","author":"Walukiewicz","year":"1993"},{"key":"S1079898600007861_ref002","first-page":"995","volume-title":"Handbook of theoretical computer science","volume":"B","author":"Emerson","year":"1990"},{"key":"S1079898600007861_ref008","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"key":"S1079898600007861_ref006","first-page":"552","volume-title":"MFCS '95","volume":"969","author":"Janin","year":"1995"},{"key":"S1079898600007861_ref009","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370554"},{"key":"S1079898600007861_ref007","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60218-6_32"},{"key":"S1079898600007861_ref004","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5"},{"key":"S1079898600007861_ref015","volume-title":"Lecture notes in mathematics","volume":"120","author":"Slefkes","year":"1970"},{"key":"S1079898600007861_ref011","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/3-540-16066-3_15","volume-title":"Fifth symposium on computation theory","volume":"208","author":"Mostowskl","year":"1984"},{"key":"S1079898600007861_ref017","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90031-X"},{"key":"S1079898600007861_ref001","first-page":"1","volume-title":"Handbook of philosophical logic","volume":"2","author":"Bull","year":"1984"},{"key":"S1079898600007861_ref003","volume-title":"29th FOCS","author":"Emerson","year":"1988"},{"key":"S1079898600007861_ref010","first-page":"789","volume-title":"Handbook of theoretical computer science","volume":"B","author":"Kozen","year":"1990"},{"key":"S1079898600007861_ref005","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-6259-0_10"},{"key":"S1079898600007861_ref013","volume-title":"Technical Report TR 94-03(192)","author":"Niwi\u0144ski","year":"1994"},{"key":"S1079898600007861_ref014","first-page":"1","article-title":"Decidability of second-order theories and automata on infinite trees","volume":"141","author":"Rabin.","year":"1969","journal-title":"Transactions of the American Mathematical Society"},{"key":"S1079898600007861_ref016","first-page":"477","volume-title":"Handbook of logic in comuter science","author":"Stirling","year":"1991"}],"container-title":["Bulletin of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1079898600007861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T16:38:14Z","timestamp":1557679094000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1079898600007861\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["S1079898600007861"],"URL":"https:\/\/doi.org\/10.2307\/420995","relation":{},"ISSN":["1079-8986","1943-5894"],"issn-type":[{"value":"1079-8986","type":"print"},{"value":"1943-5894","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}