2 citations · 2 across the 1 of their papers we have counts for
2 papers
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…
cs.LO2020★ 2 cited
About the unification types of the modal logics determined by classes of deterministic frames
Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv +1
The unification problem in a propositional logic is to determine, given a formula F, whether there exists a substitution s such that s(F) is in that logic. In that case, s is a uni…