{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T12:54:41Z","timestamp":1782219281871,"version":"3.54.5"},"reference-count":6,"publisher":"Wiley","issue":"4","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5795,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"},{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1991,1]]},"DOI":"10.1002\/malq.19910372303","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T05:47:47Z","timestamp":1180158467000},"page":"357-362","source":"Crossref","is-referenced-by-count":0,"title":["The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames"],"prefix":"10.1002","volume":"37","author":[{"given":"P. H.","family":"Rodenburg","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Modal Logic and Classical Logic","author":"van Benthem J. F. A. K.","year":"1986"},{"key":"e_1_2_1_3_2","first-page":"183","article-title":"Sur quelques points de la logique de M. Brouwer","volume":"15","author":"Glivenko M. V.","year":"1929","journal-title":"Acad. Royale de Belgique, Bulletin de la Classe des Sciences"},{"key":"e_1_2_1_4_2","first-page":"293","volume":"14","author":"Hosoi T.","year":"1967","journal-title":"J. Fac. Science Univ. Tokyo, Sect. 1."},{"key":"e_1_2_1_5_2","volume-title":"Natural Deduction, a Proof\u2010Theoretical Study","author":"Prawitz D.","year":"1965"},{"key":"e_1_2_1_6_2","first-page":"215","volume-title":"Contributions to Mathematical Logic","author":"Prawitz D.","year":"1968"},{"key":"e_1_2_1_7_2","unstructured":"Rodenburg P. H. Intuitionistic Correspondence Theory. Dissertation Univ. Amsterdam1986."}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19910372303","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19910372303","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19910372303","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T12:32:04Z","timestamp":1782217924000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19910372303"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":6,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1002\/malq.19910372303"],"URL":"https:\/\/doi.org\/10.1002\/malq.19910372303","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}