{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:38:57Z","timestamp":1740141537466,"version":"3.37.3"},"reference-count":48,"publisher":"Oxford University Press (OUP)","issue":"8","license":[{"start":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T00:00:00Z","timestamp":1619222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61976053"],"award-info":[{"award-number":["61976053"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,22]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We investigate modal algebras that generalize the unary discriminator into two directions related to an ideal of the algebra. It turns out that some classes lead to well-known logics, while others have not yet been explored.<\/jats:p>","DOI":"10.1093\/logcom\/exab021","type":"journal-article","created":{"date-parts":[[2021,4,12]],"date-time":"2021-04-12T20:28:09Z","timestamp":1618259289000},"page":"2159-2188","source":"Crossref","is-referenced-by-count":0,"title":["Ideal related algebras and their logics"],"prefix":"10.1093","volume":"31","author":[{"given":"Ivo","family":"D\u00dcntsch","sequence":"first","affiliation":[{"name":"College of Mathematics and Informatics, Fujian Normal University, 350007, Fuzhou, China and Department of Computer Science, Brock University, St Catharines, L2S3A1, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wojciech","family":"Dzik","sequence":"additional","affiliation":[{"name":"Institute of Mathematics, University of Silesia, 40-007, Katowice, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2021,4,24]]},"reference":[{"key":"2021121717350948500_ref1","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF01191089","article-title":"Free algebras in discriminator varieties","volume":"28","author":"Andr\u00e9ka","year":"1991","journal-title":"Algebra Universalis"},{"key":"2021121717350948500_ref2","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/BF01620760","article-title":"On the lattice of extensions of the modal logics KAlt$_n$","volume":"27","author":"Bellissima","year":"1988","journal-title":"Archive for Mathematical Logic"},{"key":"2021121717350948500_ref3","doi-asserted-by":"crossref","first-page":"624","DOI":"10.1002\/1521-3870(200211)48:4<624::AID-MALQ624>3.0.CO;2-3","article-title":"Pseudomonadic algebras as algebraic models of doxastic modal logic","volume":"4","author":"Bezhanishvili","year":"2002","journal-title":"MLQ Mathematical Logic Quarterly"},{"key":"2021121717350948500_ref4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","article-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2021121717350948500_ref5","article-title":"PhD Thesis","volume-title":"Varieties of Interior Algebras","author":"Blok","year":"1976"},{"key":"2021121717350948500_ref6","first-page":"189","article-title":"Equational classes of closure algebras I","volume":"37","author":"Blok","year":"1975","journal-title":"Industrial Mathematics"},{"key":"2021121717350948500_ref7","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/BF01195727","article-title":"On the structure of varieties with equationally definable principal congruences III","volume":"32","author":"Blok","year":"1994","journal-title":"Algebra Universalis"},{"key":"2021121717350948500_ref8","doi-asserted-by":"crossref","first-page":"221","DOI":"10.2307\/2273184","article-title":"The lattice of modal logics: An algebraic investigation","volume":"45","author":"Blok","year":"1980","journal-title":"The Journal of Symbolic Logic"},{"key":"2021121717350948500_ref9","first-page":"1","article-title":"Basic modal logic","volume-title":"Handbook of Philosophical Logic","author":"Bull"},{"volume-title":"A Course in Universal Algebra","year":"2012","author":"Burris","key":"2021121717350948500_ref10"},{"key":"2021121717350948500_ref11","article-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Model Theory","author":"Chang","year":"1973"},{"key":"2021121717350948500_ref12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-2(1:5)2006","article-title":"Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA","volume":"2","author":"Conradie","year":"2006","journal-title":"Logical Methods in Computer Science"},{"key":"2021121717350948500_ref13","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1002\/malq.19590051405","article-title":"Modal logics between S4 and S5","volume":"5","author":"Dummett","year":"1959","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"article-title":"Closure algebras of depth two with extremal relations: Their frames, logics, and structural completeness","year":"2021","author":"D\u00fcntsch","key":"2021121717350948500_ref14"},{"key":"2021121717350948500_ref15","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/978-3-030-44638-3_6","article-title":"Ideal related algebras and their logics (extended abstract)","volume-title":"Proceedings of the 3rd International Conference on Logic and Argumentation (CLAR 2020)","author":"D\u00fcntsch","year":"2020"},{"key":"2021121717350948500_ref16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-64187-0_9","article-title":"On the semilattice of modal operators and decompositions of the discriminator","volume-title":"Hajnal Andr\u00e9ka and Istv\u00e1n N\u00e9meti on Unity of Science: From Computing to Relativity Theory through Algebraic Logic","author":"D\u00fcntsch","year":"2021"},{"key":"2021121717350948500_ref17","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1016\/j.apal.2016.03.002","article-title":"Almost structural completeness; an algebraic approach","volume":"167","author":"Dzik","year":"2016","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021121717350948500_ref18","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1093\/jigpal\/jzr028","article-title":"Projective unification in modal logic","volume":"20","author":"Dzik","year":"2012","journal-title":"Logic Journal of IGPL"},{"key":"2021121717350948500_ref19","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1215\/00294527-3636512","article-title":"Modal consequence relations extending S4.3: An application of projective unification","volume":"57","author":"Dzik","year":"2016","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2021121717350948500_ref20","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1111\/j.1755-2567.1977.tb00779.x","article-title":"Five critical modal systems","volume":"43","author":"Esakia","year":"1977","journal-title":"Theoria"},{"key":"2021121717350948500_ref21","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1002\/malq.19710170141","article-title":"The logics containing S3.4","volume":"17","author":"Fine","year":"1971","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"2021121717350948500_ref22","article-title":"Master\u2019s Thesis","volume-title":"An Implementation of the Algorithm SQEMA for Computing First-Order Correspondences of Modal Formulas","author":"Georgiev","year":"2006"},{"key":"2021121717350948500_ref23","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1093\/logcom\/7.6.733","article-title":"Unification through projectivity","volume":"7","author":"Ghilardi","year":"1997","journal-title":"Journal of Logic and Computation"},{"key":"2021121717350948500_ref24","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0168-0072(99)00032-9","article-title":"Best solving modal equations","volume":"102","author":"Ghilardi","year":"2000","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021121717350948500_ref25","doi-asserted-by":"crossref","first-page":"879","DOI":"10.2178\/jsl\/1096901773","article-title":"Filtering unification and most general unifiers in modal logic","volume":"69","author":"Ghilardi","year":"2004","journal-title":"The Journal of Symbolic Logic"},{"key":"2021121717350948500_ref26","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1007\/BF01181878","article-title":"Elementary generation and canonicity for varieties of boolean algebras with operators","volume":"34","author":"Goldblatt","year":"1995","journal-title":"Algebra Universalis"},{"key":"2021121717350948500_ref27","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","article-title":"Varieties of complex algebras","volume":"44","author":"Goldblatt","year":"1989","journal-title":"Annals of Pure and Applied Logic"},{"key":"2021121717350948500_ref28","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","article-title":"Using the universal modality: Gains and questions","volume":"2","author":"Goranko","year":"1992","journal-title":"Journal of Logic and Computation"},{"volume-title":"A Companion to Modal Logic","year":"1984","author":"Hughes","key":"2021121717350948500_ref29"},{"key":"2021121717350948500_ref30","doi-asserted-by":"crossref","DOI":"10.4324\/9780203290644","volume-title":"A New Introduction to Modal Logic","author":"Hughes","year":"1996"},{"key":"2021121717350948500_ref31","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/978-94-017-0697-1_6","article-title":"A survey of boolean algebras with operators","volume-title":"Algebras and Orders","author":"J\u00f3nsson","year":"1993"},{"key":"2021121717350948500_ref32","doi-asserted-by":"crossref","first-page":"110","DOI":"10.7146\/math.scand.a-10850","article-title":"Algebras whose congruence lattices are distributive","volume":"1967","author":"J\u00f3nsson","year":"1967","journal-title":"Mathematica Scandinavica"},{"key":"2021121717350948500_ref33","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","article-title":"Boolean algebras with operators I","volume":"73","author":"J\u00f3nsson","year":"1951","journal-title":"American Journal of Mathematics"},{"key":"2021121717350948500_ref34","article-title":"Handbook on Boolean Algebras","volume-title":"General Theory of Boolean Algebras","author":"Koppelberg","year":"1989"},{"key":"2021121717350948500_ref35","doi-asserted-by":"crossref","first-page":"548","DOI":"10.1093\/jigpal\/jzy013","article-title":"Projective unification in transitive modal logics","volume":"26","author":"Kost","year":"2018","journal-title":"Logic Journal of IGPL"},{"key":"2021121717350948500_ref36","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/s11225-006-8308-2","article-title":"Semisimple varieties of modal algebras","volume":"83","author":"Kowalski","year":"2006","journal-title":"Studia Logica"},{"key":"2021121717350948500_ref37","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/BF01668576","article-title":"Pretabular extensions of Lewis S4","volume":"14","author":"Maksimova","year":"1975","journal-title":"Algebra Logika"},{"key":"2021121717350948500_ref38","doi-asserted-by":"crossref","first-page":"53","DOI":"10.7146\/math.scand.a-10987","article-title":"On equational classes of algebraic versions of logic I","volume":"27","author":"Monk","year":"1970","journal-title":"Mathematica Scandinavica"},{"key":"2021121717350948500_ref39","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1080\/11663081.2000.10511004","article-title":"Unification and passive inference rules for modal logics","volume":"10","author":"Rybakov","year":"2000","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2021121717350948500_ref40","doi-asserted-by":"crossref","first-page":"112","DOI":"10.2307\/2266683","article-title":"Extensions of the Lewis system S5","volume":"16","author":"Scroggs","year":"1951","journal-title":"The Journal of Symbolic Logic"},{"key":"2021121717350948500_ref41","first-page":"13","article-title":"Filosofiska Studier","volume-title":"An Essay in Classical Modal Logic","author":"Segerberg","year":"1971"},{"key":"2021121717350948500_ref42","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1305\/ndjfl\/1093957980","article-title":"Modal system S4.4","volume":"5","author":"Soboci\u0144ski","year":"1964","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2021121717350948500_ref43","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","article-title":"Semantic analysis of tense logics","volume":"37","author":"Thomason","year":"1972","journal-title":"The Journal of Symbolic Logic"},{"key":"2021121717350948500_ref44","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00370367","article-title":"On the logic of conscious belief","volume":"49","author":"Tokarz","year":"1990","journal-title":"Studia Logica"},{"key":"2021121717350948500_ref45","first-page":"20","article-title":"Notes on modal definability","volume":"30","author":"van Benthem","year":"1989","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2021121717350948500_ref46","doi-asserted-by":"crossref","DOI":"10.1515\/9783112733332","article-title":"Discriminator algebras","volume-title":"Studien zur Algebra und ihre Anwendungen","author":"Werner","year":"1978"},{"key":"2021121717350948500_ref47","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-94-017-0454-0_2","article-title":"Advanced modal logic","volume-title":"D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic","author":"Zakharyaschev","year":"2001"},{"key":"2021121717350948500_ref48","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1305\/ndjfl\/1093894298","article-title":"A study of some systems in the neighborhood of S4.4","volume":"12","author":"Zeman","year":"1971","journal-title":"Notre Dame Journal of Formal Logic"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/31\/8\/2159\/41808820\/exab021.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/31\/8\/2159\/41808820\/exab021.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T05:15:59Z","timestamp":1724822159000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/31\/8\/2159\/6248121"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,24]]},"references-count":48,"journal-issue":{"issue":"8","published-online":{"date-parts":[[2021,4,24]]},"published-print":{"date-parts":[[2021,12,22]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exab021","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2021,12]]},"published":{"date-parts":[[2021,4,24]]}}}