Four intuitionistic modal connectives

Philippe Balbiani, Çigdem Gencer

We introduce the syntax and the semantics of intuitionistic modal logics based on a diamond connective à la Prenosil, its dual box connective, a diamond connective à la Wijesekera…