{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T15:04:39Z","timestamp":1771859079495,"version":"3.50.1"},"reference-count":41,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T00:00:00Z","timestamp":1782864000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,2,18]],"date-time":"2026-02-18T00:00:00Z","timestamp":1771372800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2026,7]]},"DOI":"10.1016\/j.apal.2026.103743","type":"journal-article","created":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T15:58:23Z","timestamp":1771516703000},"page":"103743","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Stable canonical rules for intuitionistic modal logics"],"prefix":"10.1016","volume":"177","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-5365-5452","authenticated-orcid":false,"given":"Cheng","family":"Liao","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/j.apal.2026.103743_br0200","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1017\/S1755020315000374","article-title":"Intuitionistic epistemic logic","volume":"9","author":"Artemov","year":"2016","journal-title":"Rev. Symb. Log."},{"key":"10.1016\/j.apal.2026.103743_br0090","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1017\/S1755020309990177","article-title":"An algebraic approach to canonical formulas: intuitionistic case","volume":"2","author":"Bezhanishvili","year":"2009","journal-title":"Rev. Symb. Log."},{"key":"10.1016\/j.apal.2026.103743_br0100","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s11225-011-9348-9","article-title":"An algebraic approach to canonical formulas: modal case","volume":"99","author":"Bezhanishvili","year":"2011","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103743_br0110","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1215\/00294527-3691563","article-title":"Locally finite reducts of Heyting algebras and canonical formulas","volume":"58","author":"Bezhanishvili","year":"2017","journal-title":"Notre Dame J. Form. Log."},{"key":"10.1016\/j.apal.2026.103743_br0120","series-title":"V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics","first-page":"71","article-title":"Jankov formulas and axiomatization techniques for intermediate logics","author":"Bezhanishvili","year":"2022"},{"key":"10.1016\/j.apal.2026.103743_br0170","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/jsl.2025.10126","article-title":"Blok-Esakia theorems via stable canonical rules","author":"Bezhanishvili","year":"2025","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103743_br0280","series-title":"Advances in Modal Logic","first-page":"54","article-title":"Multiple-conclusion rules, hypersequents syntax and step frames","author":"Bezhanishvili","year":"2014"},{"key":"10.1016\/j.apal.2026.103743_br0020","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1017\/jsl.2015.54","article-title":"Stable canonical rules","volume":"81","author":"Bezhanishvili","year":"2016","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103743_br0010","doi-asserted-by":"crossref","first-page":"1287","DOI":"10.1007\/s11225-016-9677-9","article-title":"Cofinal stable logics","volume":"104","author":"Bezhanishvili","year":"2016","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103743_br0410","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s11225-015-9642-z","article-title":"Admissible bases via stable canonical rules","volume":"104","author":"Bezhanishvili","year":"2016","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103743_br0330","series-title":"Varieties of Interior Algebras","author":"Blok","year":"1976"},{"key":"10.1016\/j.apal.2026.103743_br0240","series-title":"A Course in Universal Algebra","author":"Burris","year":"1981"},{"key":"10.1016\/j.apal.2026.103743_br0350","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF00370331","article-title":"Modal companions of intermediate propositional logics","volume":"51","author":"Chagrov","year":"1992","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103743_br0140","article-title":"Modal Logic","volume":"vol. 35","author":"Chagrov","year":"1997"},{"key":"10.1016\/j.apal.2026.103743_br0160","series-title":"Translational Embeddings via Stable Canonical Rules","author":"Cleani","year":"2021"},{"key":"10.1016\/j.apal.2026.103743_br0190","series-title":"Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","first-page":"258","article-title":"A modal analysis of staged computation","author":"Davies","year":"1996"},{"key":"10.1016\/j.apal.2026.103743_br0390","series-title":"36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","article-title":"G\u00f6del-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication","author":"de Groot","year":"2021"},{"key":"10.1016\/j.apal.2026.103743_br0250","series-title":"Mathematical Logic","author":"Ebbinghaus","year":"1994"},{"key":"10.1016\/j.apal.2026.103743_br0300","first-page":"147","article-title":"Topological Kripke models","volume":"15","author":"Esakia","year":"1974","journal-title":"Sov. Math. Dokl."},{"key":"10.1016\/j.apal.2026.103743_br0340","series-title":"VII Soviet Symposium on Logic","first-page":"135","article-title":"On modal companions of superintuitionistic logics","author":"Esakia","year":"1976"},{"key":"10.1016\/j.apal.2026.103743_br0310","article-title":"Heyting Algebras: Duality Theory","volume":"vol. 5","author":"Esakia","year":"2019"},{"key":"10.1016\/j.apal.2026.103743_br0220","series-title":"Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning","first-page":"262","article-title":"A family of decidable biintuitionistic modal logics","author":"Fern\u00e1ndez-Duque","year":"2023"},{"key":"10.1016\/j.apal.2026.103743_br0260","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s10992-015-9380-8","article-title":"Consequence relations and admissible rules","volume":"45","author":"Iemhoff","year":"2016","journal-title":"J. Philos. Log."},{"key":"10.1016\/j.apal.2026.103743_br0130","series-title":"Filtration revisited: Lattices of stable non-classical logics","author":"Ilin","year":"2018"},{"issue":"4","key":"10.1016\/j.apal.2026.103743_br0070","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.2178\/jsl\/1254748686","article-title":"Canonical rules","volume":"74","author":"Je\u0159\u00e1bek","year":"2009","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103743_br0270","article-title":"Tools and Techniques in Modal Logic","volume":"vol. 142","author":"Kracht","year":"1999"},{"key":"10.1016\/j.apal.2026.103743_br0400","series-title":"Stable Canonical Rules for Intuitionistic Modal Logics","author":"Liao","year":"2023"},{"issue":"1","key":"10.1016\/j.apal.2026.103743_br0380","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1016\/j.indag.2017.10.003","article-title":"Lewis meets Brouwer: constructive strict implication","volume":"29","author":"Litak","year":"2018","journal-title":"Indag. Math."},{"key":"10.1016\/j.apal.2026.103743_br0150","series-title":"Canonical Formulas for the Lax Logic","author":"Melzer","year":"2020"},{"key":"10.1016\/j.apal.2026.103743_br0320","series-title":"Liber Amicorum for","first-page":"151","article-title":"Dualities for intuitionistic modal logics","author":"Palmigiano","year":"2004"},{"key":"10.1016\/j.apal.2026.103743_br0290","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1112\/plms\/s3-24.3.507","article-title":"Ordered topological spaces and the representation of distributive lattices","volume":"24","author":"Priestley","year":"1972","journal-title":"Proc. Lond. Math. Soc."},{"key":"10.1016\/j.apal.2026.103743_br0180","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/BF02121259","article-title":"On modal logic with an intuitionistic base","volume":"36","author":"Servi","year":"1977","journal-title":"Stud. Log."},{"key":"10.1016\/j.apal.2026.103743_br0210","series-title":"The proof theory and semantics of intuitionistic modal logic","author":"Simpson","year":"1994"},{"key":"10.1016\/j.apal.2026.103743_br0360","unstructured":"M. Stronkowski, On the Blok-Esakia theorem for universal classes, arXiv: Logic, 2018."},{"key":"10.1016\/j.apal.2026.103743_br0030","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/BF02672476","article-title":"On the relation between intuitionistic and classical modal logics","volume":"36","author":"Wolter","year":"1997","journal-title":"Algebra Log."},{"key":"10.1016\/j.apal.2026.103743_br0230","series-title":"Logic at Work, Essays in Honour of Helena Rasiowa","first-page":"168","article-title":"Intuitionistic modal logics as fragments of classical bimodal logics","author":"Wolter","year":"1998"},{"key":"10.1016\/j.apal.2026.103743_br0040","series-title":"Syntax and semantics of intermediate and modal logic","author":"Zakharyaschev","year":"1984"},{"key":"10.1016\/j.apal.2026.103743_br0080","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/BF01982017","article-title":"Syntax and semantics of superintuitionistic logics","volume":"28","author":"Zakharyaschev","year":"1989","journal-title":"Algebra Log."},{"issue":"1","key":"10.1016\/j.apal.2026.103743_br0370","article-title":"Modal companions of superintuitionistic logics: syntax, semantics, and preservation theorems","volume":"68","author":"Zakharyaschev","year":"1991","journal-title":"Math. USSR Sb."},{"key":"10.1016\/j.apal.2026.103743_br0050","doi-asserted-by":"crossref","first-page":"1377","DOI":"10.2307\/2275372","article-title":"Canonical formulas for K4. Basic results","volume":"57","author":"Zakharyaschev","year":"1992","journal-title":"J. Symb. Log."},{"key":"10.1016\/j.apal.2026.103743_br0060","doi-asserted-by":"crossref","first-page":"421","DOI":"10.2307\/2275669","article-title":"Canonical formulas for K4. Part II: cofinal subframe logics","volume":"61","author":"Zakharyaschev","year":"1996","journal-title":"J. Symb. Log."}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000266?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007226000266?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T14:08:45Z","timestamp":1771855725000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007226000266"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":41,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2026,7]]}},"alternative-id":["S0168007226000266"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2026.103743","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2026,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Stable canonical rules for intuitionistic modal logics","name":"articletitle","label":"Article Title"},{"value":"Annals of Pure and Applied Logic","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.apal.2026.103743","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Author(s). Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"103743"}}