A Bidirectional Decision Procedure for Intuitionistic Modal Logic IS5

Hyungchul Park Hyeonseung Im Sungwoo Park