Title: An algebraic and Kripke-style approach to a certain extension of intuitionistic logic
Subjects: Intuitionistic mathematics, Boolean Algebra, Algebraic logic