{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T11:57:07Z","timestamp":1753876627441,"version":"3.41.2"},"reference-count":20,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T00:00:00Z","timestamp":1707782400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,6,11]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>In the context of positive logic expanded with the dual of intuitionistic negation, obtaining intuitionistic negation itself as a consequence, those two connectives allow to introduce modal concepts such as necessity and possibility. We study the resulting modal logic, paying attention to different extensions of it. We provide a syntactic approach and both algebraic and Kripke semantics.<\/jats:p>","DOI":"10.1093\/logcom\/exae004","type":"journal-article","created":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T04:39:23Z","timestamp":1707799163000},"source":"Crossref","is-referenced-by-count":0,"title":["Modalities combining two negations"],"prefix":"10.1093","volume":"35","author":[{"given":"Jos\u00c9","family":"Luis Castiglioni","sequence":"first","affiliation":[{"name":"Departamento de Matem\u00e1tica , Facultad de Ciencias Exactas, UNLP. Calle 50 s\/n, La Plata (1900), Argentina"}],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Rodolfo C","family":"Ertola-Biraben","sequence":"additional","affiliation":[{"name":"CLE , Cidade Universit\u00e1ria, S\u00e9rgio Buarque de Holanda, 251, PO Box 13083-859, Campinas, Brazil"}],"role":[{"role":"author","vocab":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2024,2,13]]},"reference":[{"key":"2025061108222287300_ref1","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1515\/ms-2017-0200","article-title":"Regular double p-algebras","volume":"69","author":"Adams","year":"2019","journal-title":"Mathematica Slovaka"},{"key":"2025061108222287300_ref2","doi-asserted-by":"crossref","first-page":"1031","DOI":"10.1093\/logcom\/exp030","article-title":"Logics preserving degrees of truth from varieties of residuated lattices","volume":"19","author":"Bou","year":"2009","journal-title":"Journal of Logic and Computation"},{"key":"2025061108222287300_ref3","first-page":"268","article-title":"Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation","volume-title":"Logic Journal of the IGPL","author":"Castiglioni","year":"2013"},{"key":"2025061108222287300_ref4","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"2025061108222287300_ref5","first-page":"150","article-title":"Moisil\u2019s modal logic and related systems","volume-title":"Relevance Logics and Other Tools for Reasoning. Essays in Honour of J. Michael Dunn, (Tributes, Vol. 46)","author":"Drobyshevich","year":"2022"},{"key":"2025061108222287300_ref6","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1007\/BF01201353","article-title":"Untersuchungen \u00fcber das logische Schlie\u00dfen. I","volume":"39","author":"Gentzen","year":"1935","journal-title":"Mathematische Zeitschrift"},{"key":"2025061108222287300_ref7","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF01201363","article-title":"Untersuchungen \u00fcber das logische Schlie\u00dfen. II","volume":"39","author":"Gentzen","year":"1935","journal-title":"Mathematische Zeitschrift"},{"key":"2025061108222287300_ref8","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1023\/A:1005203020752","article-title":"On canonicity and strong completeness conditions in intermediate propositional logics","volume":"63","author":"Ghilardi","year":"1999","journal-title":"Studia Logica"},{"key":"2025061108222287300_ref9","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"Hughes","year":"1996"},{"key":"2025061108222287300_ref10","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1007\/BF02945123","article-title":"The structure of distributive double p-algebras","volume":"3","author":"Katri\u0148\u00e1k","year":"1973","journal-title":"Algebra Universalis"},{"key":"2025061108222287300_ref11","first-page":"117","article-title":"On intuitionistic sentential connectives I","volume":"XIX","author":"L\u00f3pez-Escobar","year":"1985","journal-title":"Revista Colombiana de Matem\u00e1ticas"},{"key":"2025061108222287300_ref12","first-page":"163","article-title":"A note on \u0141ukasiewicz three-valued logic","volume":"23","author":"Minari","year":"2002","journal-title":"Annali del Dipartimento di Filosofia"},{"key":"2025061108222287300_ref13","first-page":"3","article-title":"Logique modale","volume":"2","author":"Moisil","year":"1942","journal-title":"Disquisitiones Mathematicae et Physica., Buc."},{"volume-title":"Essais Sur les Logiques Non-crysipiennes","year":"1972","author":"Moisil","key":"2025061108222287300_ref14"},{"key":"2025061108222287300_ref15","first-page":"165","article-title":"Dualising intuitionistic negation","volume":"13","author":"Priest","year":"2009","journal-title":"Dualising Intuitionistic Negation. Principia"},{"key":"2025061108222287300_ref16","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","article-title":"Representation of distributive lattices by means of ordered stone spaces","volume":"2","author":"Priestley","year":"1970","journal-title":"The Bulletin of the London Mathematical Society"},{"key":"2025061108222287300_ref17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00357841","article-title":"Bi-Heyting algebras, toposes and modalities","volume":"25","author":"Reyes","year":"1996","journal-title":"Journal of Philosophical Logic"},{"key":"2025061108222287300_ref18","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF02121115","article-title":"Applications of Kripke models to Heyting\u2013Brouwer logic","volume":"36","author":"Rauszer","year":"1977","journal-title":"Studia Logica"},{"volume-title":"Constructivism in Mathematics. An Introduction","year":"1988","author":"Troelstra","key":"2025061108222287300_ref19"},{"key":"2025061108222287300_ref20","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/BF02945029","article-title":"A regular variety of type $&lt; 2; 2; 1; 1; 0; 0&gt;$","volume":"2","author":"Varlet","year":"1972","journal-title":"Algebra Universalis"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/35\/5\/exae004\/57436791\/exae004.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/35\/5\/exae004\/57436791\/exae004.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T12:22:31Z","timestamp":1749644551000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/doi\/10.1093\/logcom\/exae004\/7604685"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,13]]},"references-count":20,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025,6,11]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exae004","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2025,7]]},"published":{"date-parts":[[2024,2,13]]},"article-number":"exae004"}}