{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T03:30:05Z","timestamp":1773113405336,"version":"3.50.1"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T00:00:00Z","timestamp":1412726400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s11225-014-9583-y","type":"journal-article","created":{"date-parts":[[2014,10,7]],"date-time":"2014-10-07T05:55:05Z","timestamp":1412661305000},"page":"639-662","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Hilbert Algebras with a Modal Operator $${\\Diamond}$$ \u25ca"],"prefix":"10.1007","volume":"103","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":[[2014,10,8]]},"reference":[{"key":"9583_CR1","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1023\/A:1005073905902","volume":"61","author":"G. Bezhanisvili","year":"1998","unstructured":"Bezhanisvili G.: Varieties of monadic Heyting algebras I. Studia Logica 61, 367\u2013402 (1998)","journal-title":"Studia Logica"},{"key":"9583_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s11225-011-9323-5","volume":"98","author":"G. Bezhanishvili","year":"2011","unstructured":"Bezhanishvili G., Jansana R.: Priestley style duality for distributive meet-semilattices. Studia Logica 98, 83\u2013123 (2011)","journal-title":"Studia Logica"},{"issue":"2","key":"9583_CR3","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/s10485-011-9265-0","volume":"21","author":"G. Bezhanishvili","year":"2013","unstructured":"Bezhanishvili G., Jansana R.: Esakia style duality for implicative semi-lattices. Applied Categorical Structures 21(2), 181\u2013208 (2013)","journal-title":"Applied Categorical Structures"},{"key":"9583_CR4","doi-asserted-by":"crossref","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. Studia Logica 44, 217\u2013245 (1984)","journal-title":"Studia Logica"},{"issue":"1","key":"9583_CR5","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1155\/S0161171202011134","volume":"29","author":"S.A. Celani","year":"2002","unstructured":"Celani S.A.: A note on homomorphism of Hilbert algebras. International Journal of Mathematics and Mathematical Sciences 29(1), 55\u201361 (2002)","journal-title":"International Journal of Mathematics and Mathematical Sciences"},{"key":"9583_CR6","doi-asserted-by":"crossref","first-page":"561","DOI":"10.2478\/BF02475182","volume":"4","author":"S.A. Celani","year":"2003","unstructured":"Celani S.A.: Representation of Hilbert algebras and implicative semilattices. Central European Mathematical Journal 4, 561\u2013571 (2003)","journal-title":"Central European Mathematical Journal"},{"key":"9583_CR7","unstructured":"Celani S. A., Topological representation of distributive semilattices. Scientiae Mathematicae Scientiae Mathematicae Japonicae, Vol. 58, No. 1., 55-65, 2003."},{"key":"9583_CR8","doi-asserted-by":"crossref","unstructured":"Celani, S. A., and L. M. Cabrer, Topological duality for Tarski algebras, Algebra Universalis 58(1): 73\u201394, 2008.","DOI":"10.1007\/s00012-007-2041-1"},{"key":"9583_CR9","doi-asserted-by":"crossref","unstructured":"Celani, S. A., L. M. Cabrer, and D. Montangie, Topological duality for Hilbert algebras, Central European Journal of Mathematics 7(3): 463\u2013478, 2009.","DOI":"10.2478\/s11533-009-0032-5"},{"key":"9583_CR10","doi-asserted-by":"crossref","unstructured":"Celani, S. A., and D. Montangie, Hilbert algebras with supremum, Algebra Universalis 67(3): 237\u2013255, 2012.","DOI":"10.1007\/s00012-012-0178-z"},{"key":"9583_CR11","first-page":"47","volume":"49","author":"S.A. Celani","year":"2014","unstructured":"Celani S.A., Montangie D.: Hilbert algebras with a necessity modal operator. Reports on Mathematical Logic 49, 47\u201377 (2014)","journal-title":"Reports on Mathematical Logic"},{"issue":"3","key":"9583_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/malq.201020098","volume":"58","author":"S.A. Celani","year":"2012","unstructured":"Celani S.A., Jansana R.: On the free implicative semilattice extension of a Hilbert algebra. Mathematical Logic Quarterly 58(3), 1\u201320 (2012)","journal-title":"Mathematical Logic Quarterly"},{"key":"9583_CR13","unstructured":"Celani, S. A., and R. Jansana, A topological duality for Hilbert algebras, Manuscript, 2012."},{"key":"9583_CR14","doi-asserted-by":"crossref","first-page":"3","DOI":"10.14232\/actasm-012-267-9","volume":"80","author":"S.A. Celani","year":"2014","unstructured":"Celani S.A.: Notes in bounded Hilbert algebras with supremum. Acta Scientiarum Mathematicarum (Szeged) 80, 3\u201319 (2014)","journal-title":"Acta Scientiarum Mathematicarum (Szeged)"},{"issue":"3","key":"9583_CR15","first-page":"407","volume":"54","author":"S.A. Celani","year":"2013","unstructured":"Celani S.A., Calomino I.: Some remarks on distributive semilattices. Commentationes Mathematicae Universitatis Carolinae 54(3), 407\u2013428 (2013)","journal-title":"Commentationes Mathematicae Universitatis Carolinae"},{"key":"9583_CR16","unstructured":"Chajda, I., R. Hala\u0161, and J. K\u00fchr, Semilattice structures. Research and Exposition in Mathematics, Vol. 30, Heldermann Verlag, Lemgo, 2007."},{"key":"9583_CR17","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0012-365X(91)90312-P","volume":"96","author":"R. Cignoli","year":"1991","unstructured":"Cignoli R.: Quantifiers on distributive lattices. Discrete Mathematics 96, 183\u2013197 (1991)","journal-title":"Discrete Mathematics"},{"key":"9583_CR18","unstructured":"Diego, A., Sur les alg\u00e8bres de Hilbert, Coll\u00e9ction de Logique Math\u00e8matique, serie A, Vol. 21, Gouthier-Villars, Paris, 1966."},{"issue":"1","key":"9583_CR19","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/BF00370809","volume":"44","author":"K. Dosen","year":"1983","unstructured":"Dosen K.: Models for stronger normal intuitionistic modal logics. Studia Logica 44(1), 39\u201370 (1983)","journal-title":"Studia Logica"},{"key":"9583_CR20","doi-asserted-by":"crossref","unstructured":"Fischer Servi, G., On modal logics with an intuitionistic base, Studia Logica 36(2): 141\u2013149, 1977.","DOI":"10.1007\/BF02121259"},{"key":"9583_CR21","unstructured":"Fischer Servi, G., Axiomatizations for some intuitionistic modal logics, Rendiconti del Seminario Matematico dell\u2019 Universit\u00e0 \u00e0 Politecnica di Torino 42(3): 179\u2013194, 1984."},{"key":"9583_CR22","unstructured":"Gr\u00e4tzer, G., General Lattice Theory, Birkh\u00e4user Verlag, Basel, 1998."},{"issue":"3","key":"9583_CR23","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1002\/malq.19880340305","volume":"34","author":"D. Gluschankof","year":"1988","unstructured":"Gluschankof D., Tilli M.: Maximal deductive systems and injective objects in the category of Hilbert algebras. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 34(3), 213\u2013220 (1988)","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"9583_CR24","unstructured":"Hansoul, G., and C. Poussart, Priestley duality for distributive semilattices, Bulletin de la Soci\u00e9t\u00e9 Royale des Sciences de Li\u00e8ge 77: 104\u2013119, 2008."},{"key":"9583_CR25","unstructured":"Monteiro, A., Sur les alg\u00e8bres de Heyting sym\u00e9triques, Portugaliae Mathematica 39(fasc.): 1\u20134, 1980."},{"key":"9583_CR26","unstructured":"Palmigiano, A., Dualities for Some Intuitionistic Modal Logics, Dick de Jongh\u2019s Liber Amicorum, ILLC Publications, Amsterdam, 2004."},{"key":"9583_CR27","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1112\/blms\/2.2.186","volume":"2","author":"H.A. Priestley","year":"1970","unstructured":"Priestley H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bulletin of the London Mathematical Society 2, 186\u2013190 (1970)","journal-title":"Bulletin of the London Mathematical Society"},{"key":"9583_CR28","first-page":"275","volume":"81","author":"E. Orlowska","year":"2007","unstructured":"Orlowska E., Rewitzky I.: Discrete dualities for heyting algebras with operators. Fundamenta Infromaticae 81, 275\u2013295 (2007)","journal-title":"Fundamenta Infromaticae"},{"key":"9583_CR29","doi-asserted-by":"crossref","unstructured":"Rueda, L., Linear Heyting algebras with a quantifier, Annals of Pure and Applied Logic 108(1\u20133) (3): 327\u2013343, 2001.","DOI":"10.1016\/S0168-0072(00)00054-3"},{"key":"9583_CR30","doi-asserted-by":"crossref","unstructured":"Stone, M., Topological representation of distributive lattices and Brouwerian logics, \u010casopis pro Pe\u0161tov\u00e1ni matematiky a Fysiky, ro\u010d 67: 1\u201325, 1937.","DOI":"10.21136\/CPMF.1938.124080"},{"key":"9583_CR31","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, 22\u201323 September 1980, 1984, pp. 139\u2013171."},{"key":"9583_CR32","doi-asserted-by":"crossref","unstructured":"Wolter, F., and M. Zakharyaschev, Intuitionistic modal logic, In Logic and foundations of mathematics (Florence, 1995), Vol. 280 of Synthese Library, Kluwer, Dordrecht, 1999, pp. 227\u2013238.","DOI":"10.1007\/978-94-017-2109-7_17"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9583-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-014-9583-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9583-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,25]],"date-time":"2020-08-25T12:48:39Z","timestamp":1598359719000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-014-9583-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,8]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["9583"],"URL":"https:\/\/doi.org\/10.1007\/s11225-014-9583-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,8]]}}}