Celani, S., Montangie, D. (2014). 
	HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR. Reports on Mathematical Logic, 2014, 47-77. doi: https://doi.org/10.4467/20842589RM.14.004.2274