{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T14:35:43Z","timestamp":1759847743980},"reference-count":9,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1093\/jigpal\/jzv031","type":"journal-article","created":{"date-parts":[[2015,8,28]],"date-time":"2015-08-28T02:09:18Z","timestamp":1440727758000},"page":"842-847","source":"Crossref","is-referenced-by-count":4,"title":["Reduction of provability logics to \u03a3<sub>1<\/sub>-provability logics"],"prefix":"10.1093","volume":"23","author":[{"given":"Mohammad","family":"Ardeshir","sequence":"first","affiliation":[]},{"given":"S. Mojtaba","family":"Mojtahedi","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2015,8,27]]},"reference":[{"key":"2015092106531052000_23.5.842.1","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-014-0394-7"},{"key":"2015092106531052000_23.5.842.2","article-title":"Provability logic","volume-title":"Handbook of Philosophical Logic","volume":"10","author":"Artemov","year":"2002"},{"key":"2015092106531052000_23.5.842.3","doi-asserted-by":"crossref","DOI":"10.1007\/0-387-31072-X_2","article-title":"Problems in the logic of provability","volume-title":"Mathematical Problems from Applied Logic I","author":"Beklemishev","year":"2006"},{"key":"2015092106531052000_23.5.842.4","volume-title":"The Logic of Provability","author":"Boolos","year":"1995"},{"key":"2015092106531052000_23.5.842.5","first-page":"606","article-title":"The maximality of the intuitionistic predicate calculus with respect to Heyting's Arithmetic","volume":"36","author":"de Jongh","year":"1970","journal-title":"The Journal of Symbolic Logic"},{"key":"2015092106531052000_23.5.842.6","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-010-0209-4"},{"key":"2015092106531052000_23.5.842.7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8601-8","volume-title":"Self-reference and Modal Logic","author":"Smory\u0144ski","year":"1985"},{"key":"2015092106531052000_23.5.842.8","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757006"},{"key":"2015092106531052000_23.5.842.9","unstructured":"A. Visser. Aspects of Diagonalization and Provability, Ph.D. Thesis, Utrecht University, 1981."}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/23\/5\/842\/5084845\/jzv031.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T13:33:58Z","timestamp":1503495238000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzv031"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,27]]},"references-count":9,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2015,9,21]]},"published-print":{"date-parts":[[2015,10]]}},"alternative-id":["10.1093\/jigpal\/jzv031"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzv031","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,27]]}}}