{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,10]],"date-time":"2024-12-10T05:18:28Z","timestamp":1733807908212,"version":"3.30.1"},"reference-count":24,"publisher":"Informa UK Limited","issue":"4","license":[{"start":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T00:00:00Z","timestamp":1722643200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"name":"FWF project I 6372-N Logical methods for Deontic Explanations"}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1080\/11663081.2024.2366756","type":"journal-article","created":{"date-parts":[[2024,8,3]],"date-time":"2024-08-03T10:40:21Z","timestamp":1722681621000},"page":"493-526","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["Subintuitionistic logics and their modal companions: a nested approach"],"prefix":"10.1080","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2810-5835","authenticated-orcid":false,"given":"Matteo","family":"Tesi","sequence":"first","affiliation":[{"name":"Institute of Logic and Computation, TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2024,8,3]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-009-0137-3"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1063372244"},{"key":"e_1_3_3_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/(ISSN)1521-3870"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198537793.001.0001"},{"key":"e_1_3_3_6_1","unstructured":"Ciabattoni A. Strassburger L. & Tesi M. (2022). Taming bounded depth with nested sequents. In Proceedings of AIML 2022. College Publications."},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.v33:5"},{"key":"e_1_3_3_8_1","volume-title":"Elements of intuitionism","author":"Dummett M. A.","year":"1977","unstructured":"Dummett, M. A. (1977). Elements of intuitionism. Clarendon Press."},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00153-011-0254-7"},{"key":"e_1_3_3_10_1","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-2377869"},{"key":"e_1_3_3_11_1","first-page":"39","article-title":"Eine interpretation des intuitionistischen Aussagenkalk\u00fals","volume":"4","author":"G\u00f3del K.","year":"1933","unstructured":"G\u00f3del, K. (1933). Eine interpretation des intuitionistischen Aussagenkalk\u00fals. Ergebn Eines Mathematischen Kolloquiums, 4, 39\u201340.","journal-title":"Ergebn Eines Mathematischen Kolloquiums"},{"key":"e_1_3_3_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73099-6_13"},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exaa078"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.2307\/2268135"},{"key":"e_1_3_3_15_1","first-page":"339","article-title":"Neighbourhood semantics for basic and intuitionistic logic","volume":"24","author":"Moniri M.","year":"2015","unstructured":"Moniri, M., & Shirmohammadzadeh Maleki, F. (2015). Neighbourhood semantics for basic and intuitionistic logic. Logic and Logical Philosophy, 24, 339\u2013355.","journal-title":"Logic and Logical Philosophy"},{"key":"e_1_3_3_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001530100124"},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-017-1331-1"},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040609299"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzac069"},{"key":"e_1_3_3_20_1","unstructured":"Suzuki Y. & Ono H. (1997). Hilbert-style proof system for BPL (Technical Report IS-RR-97-0040F). Japan Advanced Institute of Science and Technology."},{"key":"e_1_3_3_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exab040"},{"key":"e_1_3_3_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2023.103285"},{"key":"e_1_3_3_23_1","volume-title":"Basic proof theory","author":"Troelstra A.","year":"1996","unstructured":"Troelstra, A., & Schwichtenberg, H. (1996). Basic proof theory (2nd ed.). Cambridge University Press.","edition":"2"},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01874706"},{"key":"e_1_3_3_25_1","doi-asserted-by":"crossref","unstructured":"Yamasaki S. & Sano K. (2017). Proof-theoretic embedding from Visser's basic propositional logic to modal logic K4 via non-labelled sequent calculi. In S. C.-M. Yang et al. (Eds.) Philosophical logic: Current trends in Asia. Logic in Asia: Studia Logica Library. World Scientific.","DOI":"10.1007\/978-981-10-6355-8_12"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2024.2366756","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T16:03:41Z","timestamp":1733760221000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2024.2366756"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,3]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["10.1080\/11663081.2024.2366756"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2024.2366756","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2024,8,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":"2023-09-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-04-20","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-08-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}