{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:23:49Z","timestamp":1726406629517},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540506676"},{"type":"electronic","value":"9783540460633"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50667-5_66","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:29:47Z","timestamp":1330201787000},"page":"147-156","source":"Crossref","is-referenced-by-count":0,"title":["Rewrite rule systems for modal propositional logic"],"prefix":"10.1007","author":[{"given":"Annie","family":"Foret","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"14_CR1","unstructured":"P. Enjalbert et L. Farinas Del Cerro. 1986 Modal Resolution In Clausal Form. Greco de programation du C.N.R.S."},{"key":"14_CR2","unstructured":"F.Fages. 1984 Le syst\u00e8me KB Pr\u00e9sentation et Bibliographie, mise en oeuvre Rapport INRIA, France."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"D.M. Gabbay. 1981 Semantical Investigations in Heyting's Intuitionnistic Logic. Dordrecht, Reidel.","DOI":"10.1007\/978-94-017-2977-2"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"G.Huet and D. Oppen. January 1980 Equations and Rewrite Rules:a survey. Technical Report 15, Stanford Verification Group.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"key":"14_CR5","volume-title":"An Introduction to Modal Logic","author":"G.E. Hughes","year":"1968","unstructured":"G.E. Hughes et M.J. Cresswell. 1968 An Introduction to Modal Logic. Methuen & Co., London."},{"key":"14_CR6","volume-title":"A Companion to Modal Logic","author":"G.E. Hughes","year":"1984","unstructured":"G.E. Hughes et M.J. Cresswell. 1984 A Companion to Modal Logic. Methuen & Co., London."},{"key":"14_CR7","unstructured":"J.Hsiang Nov. 1982 Topics in Automated Theorem Proving and Program Generation. Ph.D. Thesis, Univ.of Illinois at Urbana-Champaign."},{"key":"14_CR8","first-page":"1","volume":"13","author":"J.C.C. McKinsey","year":"1948","unstructured":"J.C.C. McKinsey and A. Tarski 1948 Some Theorems about the Sentential Calculi of Lewis and heyting. JSL Vol. 13 pp. 1\u201315.","journal-title":"JSL"},{"key":"14_CR9","first-page":"92","volume-title":"Formal systems and recusive functions","author":"S.A. Kripke","year":"1974","unstructured":"S.A. Kripke. 1974 Semantical analysis of intuitionistic logic I. Formal systems and recusive functions, ed. J.N. Crossley and M.A.E. Dummett p.92\u2013130, North Holland, Amsterdam."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"R.E. Ladner. 1977 The computational complexity of provability in systems of modal propositional logic SIAM J. C. 6 (3)","DOI":"10.1137\/0206033"},{"key":"14_CR11","unstructured":"H. Rasiowa et R. Sikorsi. 1968 The Mathematics of Metamathematics. Warszowa."},{"key":"14_CR12","volume-title":"An Algebraic Approach To Non-Classical Logics","author":"H. Rasiowa","year":"1974","unstructured":"H. Rasiowa. 1974 An Algebraic Approach To Non-Classical Logics. North-Holland, Amsterdam."},{"key":"14_CR13","unstructured":"J.J. Zeman. Modal Logic: The Lewis-Modal Systems. Clarendon Press, Oxford."}],"container-title":["Lecture Notes in Computer Science","Algebraic and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50667-5_66","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T10:09:04Z","timestamp":1561370944000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50667-5_66"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540506676","9783540460633"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-50667-5_66","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}