Wijesekera-style constructive modal logics

Tiziano Dalmonte

We define a family of propositional constructive modal logics corresponding each to a different classical modal system. The logics are defined in the style of Wijesekera's construc…