Keyword:intuitionistic modal logic

Papers
EasyChair Preprint no. 7080