Keyword:intuitionistic modal logic

Publications
EasyChair Preprint 7080