{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,2]],"date-time":"2026-03-02T11:19:18Z","timestamp":1772450358240,"version":"3.50.1"},"reference-count":26,"publisher":"Informa UK Limited","issue":"3-4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.3166\/jancl.16.349-366","type":"journal-article","created":{"date-parts":[[2007,4,11]],"date-time":"2007-04-11T09:06:10Z","timestamp":1176282370000},"page":"349-366","source":"Crossref","is-referenced-by-count":29,"title":["The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic \u2605"],"prefix":"10.1080","volume":"16","author":[{"given":"Leo","family":"Esakia","sequence":"first","affiliation":[{"name":"a Razmadze Mathematical Institute , Tbilisi , 0193 , Georgia"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(62)50003-6"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-8641(03)00039-7"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(75)90033-5"},{"key":"CIT0004","volume-title":"Modal logic, vol. 35 of Oxford Logic Guides","author":"CHAGROV A.","year":"1997"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.2307\/2964700"},{"key":"CIT0006","first-page":"257","volume-title":"Studies in nonclassical logics and set theory (Russian)","author":"ESAKIA L."},{"key":"CIT0007","volume-title":"Heyting algebras. Duality theory (Russian)","author":"ESAKIA L.","year":"1985"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(99)00035-4"},{"key":"CIT0009","first-page":"244","volume-title":"Logical investigations, No. 8 (Russian) (Moscow, 2001)","author":"ESAKIA L.","year":"2001"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.11.013"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1007\/BF02121119"},{"key":"CIT0012","volume-title":"Topological semantics and two-dimensional combinations of modal logics","author":"GABELAIA D.","year":"2005"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1002\/malq.19810273104"},{"key":"CIT0014","doi-asserted-by":"crossref","first-page":"223","DOI":"10.4064\/fm-60-3-223-231","volume":"60","author":"GRZEGORCZYK A.","year":"1967","journal-title":"Fund. Math."},{"key":"CIT0015","volume-title":"Introduction to metamathematics","author":"KLEENE S. C.","year":"1952"},{"issue":"1","key":"CIT0016","first-page":"27","volume":"283","author":"KUZNETSOV A. V.","year":"1985","journal-title":"Dokl. Akad. Nauk SSSR"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00035-U"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.2307\/1969080"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.2307\/1969038"},{"issue":"2","key":"CIT0020","first-page":"345","volume":"31","author":"MURAVITSKY A. Y.","year":"1985","journal-title":"Soviet Mat. Dokl."},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.1007\/BF02123402"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0092888"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/BF02757006"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.2307\/2273836"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.2307\/2274482"},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2109-7_17"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.16.349-366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T03:28:23Z","timestamp":1556335703000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.16.349-366"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,1]]},"references-count":26,"journal-issue":{"issue":"3-4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2006,1]]}},"alternative-id":["10.3166\/jancl.16.349-366"],"URL":"https:\/\/doi.org\/10.3166\/jancl.16.349-366","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,1]]}}}