most citedAbout the unification types of the modal logics determined by classes of deterministic frames

2 citations · 2 across the 1 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2025

Intuitionistic modal logics: a minimal setting

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…