{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,8]],"date-time":"2025-11-08T17:50:27Z","timestamp":1762624227725},"reference-count":34,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2019,7,3]]},"DOI":"10.1080\/11663081.2019.1647653","type":"journal-article","created":{"date-parts":[[2019,8,13]],"date-time":"2019-08-13T09:14:06Z","timestamp":1565687646000},"page":"255-287","update-policy":"http:\/\/dx.doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":5,"title":["Axiomatic and dual systems for constructive necessity, a formally verified equivalence"],"prefix":"10.1080","volume":"29","author":[{"given":"Lourdes del Carmen","family":"Gonz\u00e1lez-Huesca","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1ticas, Facultad de Ciencias UNAM, CdMx, M\u00e9xico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Favio E.","family":"Miranda-Perea","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1ticas, Facultad de Ciencias UNAM, CdMx, M\u00e9xico"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. Selene","family":"Linares-Ar\u00e9valo","sequence":"additional","affiliation":[{"name":"Departamento de Matem\u00e1ticas, Facultad de Ciencias UNAM, CdMx, M\u00e9xico"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2019,8,13]]},"reference":[{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005060022386"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/2.1.31"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.2307\/2269018"},{"key":"CIT0008","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive theorem proving and program development. Coq'art: The calculus of inductive constructions","author":"Bertot Y.","year":"2004"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884"},{"key":"CIT0013","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal logic","author":"Chagrov A. V.","year":"1997"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192"},{"key":"CIT0017","volume-title":"A new introduction to modal logic","author":"Cresswell M. J.","year":"2003"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1145\/382780.382785"},{"key":"CIT0019","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-17368-9","volume-title":"Why prove it again? Alternative proofs in mathematical practice","author":"Dawson J.","year":"2015"},{"key":"CIT0023","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"Fagin R.","year":"1995"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2627"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-2794-5"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2003.12.001"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511617737"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-9905-9"},{"key":"CIT0034","volume-title":"\u00c9crits logigues","author":"Herbrand J.","year":"1968"},{"key":"CIT0036","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in computer science: Modelling and reasoning about systems","author":"Huth M.","year":"2004"},{"key":"CIT0037","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-8785-0","volume-title":"Natural deduction, hybrid systems and modal logics","author":"Indrzejczak A.","year":"2010","edition":"1"},{"key":"CIT0041","volume-title":"Untersuchungen zum Pr\u00e4dikatenkalk\u00fcl","author":"Ketonen O.","year":"1944"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00169-7"},{"key":"CIT0043","volume-title":"Introductory modal logic","author":"Konyndyk J. K. J.","year":"1986"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.2307\/2267407"},{"issue":"1","key":"CIT0048","first-page":"11","volume":"1","author":"Martin-L\u00f6f P.","year":"1996","journal-title":"Nordic Journal of Philosophical Logic"},{"key":"CIT0051","doi-asserted-by":"publisher","DOI":"10.1111\/j.1747-9991.2011.00418.x"},{"key":"CIT0052","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511527340"},{"key":"CIT0053","first-page":"1","volume":"1","author":"Perzanowski J.","year":"1973","journal-title":"Reports on Mathematical Logic"},{"key":"CIT0054","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003322"},{"key":"CIT0056","volume-title":"Gentzen calculi for modal propositional logic","author":"Poggiolesi F.","year":"2010"},{"key":"CIT0058","volume-title":"Natural deduction: A proof-theoretical study","author":"Prawitz D.","year":"2006"},{"key":"CIT0060","first-page":"22","volume-title":"Comptes rendus de la Societ\u00e9 des Sciences et des Lettres de Varsovie, Classe III","volume":"23","author":"Tarski A.","year":"1930"},{"key":"CIT0062","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5"},{"key":"CIT0063","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139567862","volume-title":"Elements of logical reasoning","author":"von Plato J.","year":"2014"},{"key":"CIT0064","volume-title":"Modal logic: The Lewis-modal systems","author":"Zeman J. J.","year":"1973"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2019.1647653","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,21]],"date-time":"2024-07-21T23:26:35Z","timestamp":1721604395000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2019.1647653"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,3]]},"references-count":34,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2019,7,8]]},"published-print":{"date-parts":[[2019,7,3]]}},"alternative-id":["10.1080\/11663081.2019.1647653"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2019.1647653","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,3]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2019-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-21","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-08-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}