{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T13:15:14Z","timestamp":1772716514377,"version":"3.50.1"},"reference-count":11,"publisher":"Oxford University Press (OUP)","issue":"3","license":[{"start":{"date-parts":[[2018,9,14]],"date-time":"2018-09-14T00:00:00Z","timestamp":1536883200000},"content-version":"vor","delay-in-days":2,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100003968","name":"Iran National Science Foundation","doi-asserted-by":"publisher","award":["96004057"],"award-info":[{"award-number":["96004057"]}],"id":[{"id":"10.13039\/501100003968","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,5,24]]},"DOI":"10.1093\/jigpal\/jzy036","type":"journal-article","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T11:09:28Z","timestamp":1533726568000},"page":"239-251","source":"Crossref","is-referenced-by-count":1,"title":["Localizing finite-depth Kripke models"],"prefix":"10.1093","volume":"27","author":[{"given":"Mojtaba","family":"Mojtahedi","sequence":"first","affiliation":[{"name":"School of Mathematics, Statistics and Computer Science, College of Science, University of Tehran"},{"name":"School of Mathematics, Statistics and Computer Science, College of Science, University of Tehran"}]}],"member":"286","published-online":{"date-parts":[[2018,9,12]]},"reference":[{"key":"2019052712100976900_C1","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1002\/1521-3870(200204)48:3<391::AID-MALQ391>3.0.CO;2-T","article-title":"Every rooted narrow tree Kripke model of $\\sf{H}$$\\sf{A}$ is locally $\\sf{P}$$\\sf{A}$","volume":"48","author":"Ardeshir","year":"2002","journal-title":"Mathematical Logic Quarterly"},{"key":"2019052712100976900_C2","doi-asserted-by":"crossref","first-page":"1223","DOI":"10.2307\/2586698","article-title":"Fragments of Heyting arithmetic","volume":"65","author":"Burr","year":"2000","journal-title":"Journal of Symbolic Logic"},{"key":"2019052712100976900_C3","first-page":"528","article-title":"Finite Kripke models of $\\sf{H}$$\\sf{A}$ are locally $\\sf{P}$$\\sf{A}$.","volume-title":"Notre Dame Journal of Formal Logic","author":"D. van","year":"1973"},{"key":"2019052712100976900_C4","first-page":"293","article-title":"On intermediate logics. I","volume-title":"J. Fac. Sci. Univ. Tokyo Sec. 1","author":"Hosoi","year":"1967"},{"key":"2019052712100976900_C5","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198532132.001.0001","volume-title":"Models of Peano Arithmetic","author":"Kaye","year":"1991"},{"key":"2019052712100976900_C6","doi-asserted-by":"crossref","first-page":"461","DOI":"10.2977\/prims\/1195193915","article-title":"Kripke models and intermediate logics","volume":"6","author":"Ono","year":"1971","journal-title":"Publ. Res. Inst. Math. Sci."},{"key":"2019052712100976900_C7","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1093\/jigpal\/jzk005","article-title":"Partially-elementary extension Kripke models: a characterization and application","volume":"14","author":"Po\u0142acik","year":"2006","journal-title":"Log. J. IGPL"},{"key":"2019052712100976900_C8","volume-title":"Investigations of intuitionistic formal systems by means of Kripke models","author":"Smory\u0144ski","year":"1973"},{"key":"2019052712100976900_C9","article-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Constructivism in Mathematics, An Introduction, vol. I","author":"Troelstra","year":"1988"},{"key":"2019052712100976900_C10","first-page":"440","volume":"8","author":"Visser","year":"2002","journal-title":"Bulletin of Symbolic Logic"},{"key":"2019052712100976900_C11","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1305\/ndjfl\/1039886521","volume":"37","author":"Wehmeier","year":"1996","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Logic Journal of the IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/27\/3\/239\/28702255\/jzy036.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T01:18:44Z","timestamp":1720487924000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article\/27\/3\/239\/5095681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,12]]},"references-count":11,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2018,9,12]]},"published-print":{"date-parts":[[2019,5,24]]}},"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzy036","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2019,5]]},"published":{"date-parts":[[2018,9,12]]}}}