@article{de96c4e4-b53a-46e5-ab5c-87ec60b27149,
author = {Sergio A. Celani, Daniela Montangie},
title = {Hilbert Algebras With a Necessity Modal Operator},
journal = {Reports on Mathematical Logic},
volume = {2014},
number = {Number 49},
year = {2014},
issn = {0137-2904},
pages = {47-77},keywords = {},
abstract = {We introduce the variety of Hilbert algebras with a modal operator D, called HD-algebras. The variety of HD-alge- bras is the algebraic counterpart of the {→, D}-fragment of the intuitionitic modal logic IntKD. We will study the theory of representation and we will give a topological duality for the variety of HD-algebras. We are going to use these results to prove that the basic implicative modal logic IntK→ and some axiomatic extensions are canonical. We shall also to determine the simple and subdirectly irreducible algebras in some subvarieties of HD-algebras.},
doi = {10.4467/20842589RM.14.004.2274},
url = {https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/hilbert-algebras-with-a-necessity-modal-operator}
}