57 citations · 75 across the 21 of their papers we have counts for
1 paper · 2 filters
Philippe Balbiani, Çigdem Gencer
We introduce an intuitionistic modal logic strictly contained in the intuitionistic modal logic IK and being an appropriate candidate for the title of ``minimal normal intuitionist…