{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T11:59:13Z","timestamp":1763985553892,"version":"3.45.0"},"reference-count":33,"publisher":"Informa UK Limited","issue":"4","funder":[{"DOI":"10.13039\/501100002923","name":"Consejo Nacional de Investigaciones Cient\u00edficas y T\u00e9cnicas","doi-asserted-by":"publisher","award":["PIP 11220170100195CO","PIP 11220200100912CO, CONICET-Argentina"],"award-info":[{"award-number":["PIP 11220170100195CO","PIP 11220200100912CO, CONICET-Argentina"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002923","name":"Universidad Nacional de La Plata","doi-asserted-by":"publisher","award":["11X\/921","PICT2019-2019-00882, ANPCyT-Argentina"],"award-info":[{"award-number":["11X\/921","PICT2019-2019-00882, ANPCyT-Argentina"]}],"id":[{"id":"10.13039\/501100002923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003074","name":"Agencia Nacional de Promoci\u00f3n Cient\u00edfica y Tecnol\u00f3gica","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2025,10,2]]},"DOI":"10.1080\/11663081.2025.2551996","type":"journal-article","created":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T15:13:53Z","timestamp":1757517233000},"page":"337-369","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":0,"title":["A semantical analysis of some subintuitionistic modal logics"],"prefix":"10.1080","volume":"35","author":[{"given":"S.","family":"Celani","sequence":"first","affiliation":[{"name":"Universidad Nacional del Centro de la Provincia de Buenos Aires and CONICET,\u00a0Tandil,\u00a0Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-1381-105X","authenticated-orcid":false,"given":"A.","family":"Nagy","sequence":"additional","affiliation":[{"name":"Universidad Nacional del Centro de la Provincia de Buenos Aires and CONICET,\u00a0Tandil,\u00a0Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H. J.","family":"San Martin","sequence":"additional","affiliation":[{"name":"Universidad Nacional de La Plata, and CONICET, La Plata,\u00a0Argentina"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2025,9,10]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.v44:3"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003844"},{"key":"e_1_3_3_4_1","volume-title":"Distributive lattices","author":"Balbes R.","year":"1974","unstructured":"Balbes, R., & Dwinger, P. (1974). Distributive lattices. University of Missouri Press."},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02429840"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"e_1_3_3_7_1","first-page":"137","article-title":"Remarks on intuitionistic modal logics","volume":"9","author":"Celani S.","year":"2001","unstructured":"Celani, S. (2001). Remarks on intuitionistic modal logics. Divulgaciones Matem\u00e1ticas, 9, 137\u2013147.","journal-title":"Divulgaciones Matem\u00e1ticas"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1155\/ijmm.v2006.1"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.18514\/MMN.2008.132"},{"key":"e_1_3_3_10_1","first-page":"81","article-title":"A semantic analysis of some distributive logics with negation","volume":"48","author":"Celani S.","year":"2013","unstructured":"Celani, S. (2013). A semantic analysis of some distributive logics with negation. Reports on Mathematical Logic, 48, 81\u2013100.","journal-title":"Reports on Mathematical Logic"},{"key":"e_1_3_3_11_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1039700693"},{"key":"e_1_3_3_12_1","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/7.6.683"},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1063372244"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/(ISSN)1521-3870"},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.v33:5"},{"key":"e_1_3_3_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8242-1_4"},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01061239"},{"key":"e_1_3_3_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/malq.v22:1"},{"key":"e_1_3_3_19_1","first-page":"179","article-title":"Axiomatizations for some intuitionistic modal logics","volume":"42","author":"Fischer Servi G.","year":"1984","unstructured":"Fischer Servi, G. (1984). Axiomatizations for some intuitionistic modal logics. Rendiconti del Seminario Matematico Universit\u00e0 e Politecnico di Torino, 42, 179\u2013194.","journal-title":"Rendiconti del Seminario Matematico Universit\u00e0 e Politecnico di Torino"},{"key":"e_1_3_3_20_1","first-page":"87","article-title":"Finite model property for some intuitionistic modal logics","volume":"30","author":"Hasimoto Y.","year":"2001","unstructured":"Hasimoto, Y. (2001a). Finite model property for some intuitionistic modal logics. Bulletin of Section of Logic, 30, 87\u201397.","journal-title":"Bulletin of Section of Logic"},{"key":"e_1_3_3_21_1","doi-asserted-by":"publisher","DOI":"10.1002\/1521-3870(200105)47:2\u00a1187::AID-MALQ187\u00bf3.0.CO;2-J"},{"key":"e_1_3_3_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-006-9003-z"},{"key":"e_1_3_3_23_1","first-page":"87","article-title":"Relational and neighborhood semantics for intuitionistic modal logic","volume":"47","author":"Kojima K.","year":"2012","unstructured":"Kojima, K. (2012). Relational and neighborhood semantics for intuitionistic modal logic. Reports on Mathematical Logic, 47, 87\u2013113.","journal-title":"Reports on Mathematical Logic"},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-018-0201-z"},{"key":"e_1_3_3_25_1","doi-asserted-by":"publisher","DOI":"10.4171\/prims"},{"key":"e_1_3_3_26_1","first-page":"275","article-title":"Discrete dualities for Heyting algebras with operators","volume":"81","author":"Orlowska E.","year":"2007","unstructured":"Orlowska, E., & Rewitzky, I. (2007). Discrete dualities for Heyting algebras with operators. Fundamenta Informaticae, 81, 275\u2013295.","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_3_27_1","unstructured":"Palmigiano A. (2004). Dualities for intuitionistic modal logics. In Liber amicorum for Dick de Jongh (pp. 151\u2013167). Institute for Logic Language and Computation University of Amsterdam."},{"key":"e_1_3_3_28_1","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1040609299"},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00054-3"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005298632302"},{"key":"e_1_3_3_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005228629540"},{"key":"e_1_3_3_32_1","unstructured":"Sotirov V. H. (1984). Modal theories with intuitionistic logic. In Proceedings of the Conference on Mathematical Logic (pp. 139\u2013171). Bulgarian Academy of Sciences."},{"key":"e_1_3_3_33_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008237600846"},{"key":"e_1_3_3_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01874706"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/11663081.2025.2551996","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,24]],"date-time":"2025-11-24T11:55:07Z","timestamp":1763985307000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2025.2551996"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":33,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,10,2]]}},"alternative-id":["10.1080\/11663081.2025.2551996"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2025.2551996","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[2025,9,10]]},"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":"2024-08-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-21","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-09-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}