{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T01:12:50Z","timestamp":1778202770108,"version":"3.51.4"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T00:00:00Z","timestamp":1773014400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T00:00:00Z","timestamp":1773014400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1007\/s11083-026-09729-0","type":"journal-article","created":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T15:33:49Z","timestamp":1773070429000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Positive Modal Hilbert Algebras and Fischer Servi Modal Hilbert Algebras"],"prefix":"10.1007","volume":"43","author":[{"given":"Sergio A.","family":"Celani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Montangie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,9]]},"reference":[{"key":"9729_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/BF02429840","volume":"44","author":"M Bozic","year":"1984","unstructured":"Bozic, M., Dosen, K.: Models for normal intuitionistic modal logics. Stud. Logica. 44, 217\u2013245 (1984)","journal-title":"Stud. Logica."},{"key":"9729_CR2","first-page":"29","volume":"2","author":"D Busneag","year":"1985","unstructured":"Busneag, D.: A note on deductive systems of a Hilbert algebra. Kobe J. Math. 2, 29\u201335 (1985)","journal-title":"Kobe J. Math."},{"key":"9729_CR3","first-page":"137","volume":"9","author":"SA Celani","year":"2001","unstructured":"Celani, S.A.: Remarks on intuitionistic modal logics. Divulgaciones Matem\u00e1ticas 9, 137\u2013147 (2001)","journal-title":"Divulgaciones Matem\u00e1ticas"},{"issue":"1","key":"9729_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1039700693","volume":"38","author":"SA Celani","year":"1997","unstructured":"Celani, S.A., Jansana, R.: A new semantics for Positive modal logic. Notre Dame J. of Formal Logic 38(1), 1\u201318 (1997)","journal-title":"Notre Dame J. of Formal Logic"},{"issue":"6","key":"9729_CR5","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","volume":"7","author":"S Celani","year":"1999","unstructured":"Celani, S., Jansana, R.: Priestley Duality, a Sahlqvist Theorem and a Goldblatt-Thomason Theorem for Positive Modal Logic. Logic J. IGPL 7(6), 683\u2013715 (1999)","journal-title":"Logic J. IGPL"},{"issue":"1","key":"9729_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1155\/S0161171202011134","volume":"29","author":"SA Celani","year":"2002","unstructured":"Celani, S.A.: A note on homomorphism of Hilbert algebras. Int. J. Math. Math. Sc. 29(1), 55\u201361 (2002)","journal-title":"Int. J. Math. Math. Sc."},{"issue":"2","key":"9729_CR7","doi-asserted-by":"publisher","first-page":"81","DOI":"10.18514\/MMN.2008.132","volume":"9","author":"SA Celani","year":"2008","unstructured":"Celani, S.A.: Notes on the representation of Distributive Modal Algebras. Miskolc Math. Notes 9(2), 81\u201389 (2008)","journal-title":"Miskolc Math. Notes"},{"key":"9729_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.14232\/actasm-012-267-9","volume":"80","author":"SA Celani","year":"2014","unstructured":"Celani, S.A.: Notes on bounded Hilbert algebras with supremum. Acta Scientiarum Mathematicarum 80, 3\u201319 (2014)","journal-title":"Acta Scientiarum Mathematicarum"},{"issue":"3","key":"9729_CR9","first-page":"463","volume":"7","author":"SA Celani","year":"2009","unstructured":"Celani, S.A., Cabrer, L.M., Montangie, D.: Representation and duality for Hilbert algebras. Central European J. Math. 7(3), 463\u2013478 (2009)","journal-title":"Central European J. Math."},{"issue":"3","key":"9729_CR10","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/s00012-012-0178-z","volume":"67","author":"SA Celani","year":"2012","unstructured":"Celani, S.A., Montangie, D.: Hilbert Algebras with supremum. Algebra Universalis 67(3), 237\u2013255 (2012)","journal-title":"Algebra Universalis"},{"key":"9729_CR11","first-page":"47","volume":"49","author":"SA Celani","year":"2014","unstructured":"Celani, S.A., Montangie, D.: Hilbert Algebras with a necessity modal operator. Reports Math. Logic 49, 47\u201377 (2014)","journal-title":"Reports Math. Logic"},{"issue":"3","key":"9729_CR12","doi-asserted-by":"publisher","first-page":"639","DOI":"10.1007\/s11225-014-9583-y","volume":"103","author":"SA Celani","year":"2015","unstructured":"Celani, S.A., Montangie, D.: Hilbert Algebras with a modal operator $$\\Diamond $$. Stud. Logica. 103(3), 639\u2013662 (2015)","journal-title":"Stud. Logica."},{"key":"9729_CR13","doi-asserted-by":"crossref","unstructured":"Celani, S.A., Montangie, D.: Hilbert algebras with Hilbert-Galois connections. Stud. Logica. 111(1), 113\u2013138 (2023). https:\/\/doi.org\/1007\/s11225-022-10019-0","DOI":"10.1007\/s11225-022-10019-0"},{"key":"9729_CR14","unstructured":"Diego, A.: Sur les alg\u00e8bres de Hilbert. Coll\u00e9ction de Logique Math\u00e8matique, serie A, 21, Gouthier-Villars, Paris (1966)"},{"issue":"1","key":"9729_CR15","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF00370809","volume":"44","author":"K Dosen","year":"1983","unstructured":"Dosen, K.: Models for stronger normal intuitionistic modal logics. Stud. Logica. 44(1), 39\u201370 (1983)","journal-title":"Stud. Logica."},{"key":"9729_CR16","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"M Dunn","year":"1995","unstructured":"Dunn, M.: Positive modal logic. Stud. Logica. 55, 301\u2013317 (1995)","journal-title":"Stud. Logica."},{"key":"9729_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-12096-2","volume-title":"Heyting Algebras: Duality Theory, edited by G","author":"L Esakia","year":"2019","unstructured":"Esakia, L.: Heyting Algebras: Duality Theory, edited by G. Springer, Bezhanishvili and W. Holliday (2019)"},{"key":"9729_CR18","doi-asserted-by":"publisher","unstructured":"Flaminio, T., Godo, L., Mench\u00f3n, P., Rodriguez, R.O.: Algebras and Relational Frames for G\u00f6del Modal Logic and Some of its Extensions. In: Coniglio, M.E., Kubyshkina, E., Zaitsev, D. (eds.) Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev. Synthese Library, vol 485. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-56595-3_7","DOI":"10.1007\/978-3-031-56595-3_7"},{"key":"9729_CR19","doi-asserted-by":"crossref","unstructured":"Fischer Servi, G.: On modal logic with an intuitionistic base. Stud. Logica. 36, 141\u2013149 (1977)","DOI":"10.1007\/BF02121259"},{"key":"9729_CR20","first-page":"179","volume":"42","author":"G FischerServi","year":"1984","unstructured":"FischerServi, G.: Axiomatizations for some intuitionistic modal logics. Rendiconti del Seminario Matematico della Universit\u00e1 Politecnica di Torino 42, 179\u2013194 (1984)","journal-title":"Rendiconti del Seminario Matematico della Universit\u00e1 Politecnica di Torino"},{"key":"9729_CR21","first-page":"1","volume":"39","author":"A Monteiro","year":"1980","unstructured":"Monteiro, A.: Sur les alg\u00e8bres de Heyting sym\u00e9triques. Port. Math. 39, 1\u2013237 (1980)","journal-title":"Port. Math."},{"issue":"4","key":"9729_CR22","doi-asserted-by":"publisher","first-page":"963","DOI":"10.1016\/j.apal.2013.11.004","volume":"165","author":"M Ma","year":"2014","unstructured":"Ma, M., Palmigiano, A., Sadrzadeh, M.: Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. Ann. Pure Appl. Logic 165(4), 963\u2013995 (2014)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9729_CR23","first-page":"275","volume":"81","author":"E Or\u0142owska","year":"2007","unstructured":"Or\u0142owska, E., Rewitzky, I.: Discrete dualities for Heyting algebras with operators. Fund. Inform. 81, 275\u2013295 (2007)","journal-title":"Fund. Inform."},{"issue":"3","key":"9729_CR24","doi-asserted-by":"publisher","first-page":"687","DOI":"10.2977\/prims\/1195189604","volume":"13","author":"H Ono","year":"1977","unstructured":"Ono, H.: On some intuitionistic modal logics. Res Instit Math Sci, Kyoto Univ 13(3), 687\u2013722 (1977)","journal-title":"Res Instit Math Sci, Kyoto Univ"},{"key":"9729_CR25","volume-title":"Dualities for Some Intuitionistic Modal Logics","author":"A Palmigiano","year":"2004","unstructured":"Palmigiano, A.: Dualities for Some Intuitionistic Modal Logics. ILLC Publications, Amsterdam, Dick de Jongh\u2019s Liber Amicorum (2004)"},{"key":"9729_CR26","unstructured":"Sotirov, V.H.: Modal Theories with Intuitionistic Logic. In: Mathematical Logic, Proceedings of the Conference on Mathematical Logic, Dedicated to the Memory of A. A. Markov (1903\u20131979), Sofia, September 22\u201323, pp. 139\u2013171 (1984)"}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-026-09729-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11083-026-09729-0","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-026-09729-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T01:08:32Z","timestamp":1778202512000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11083-026-09729-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,9]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["9729"],"URL":"https:\/\/doi.org\/10.1007\/s11083-026-09729-0","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,9]]},"assertion":[{"value":"21 May 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 February 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 March 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflicts of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}},{"value":"The authors declare no competing interests.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"18"}}