Simple example of weak modal logic based on intuitionistic core. - Tomasz Witczak (CoRR, 2018)