57 citations · 75 across the 21 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, Çiğdem Gencer +1
We investigate intuitionistic modal logics with locally interpreted and . The basic logic LIK is stronger than constructive modal logic WK and incomparable with…
cs.LO2024★ 1 cited
Constructive S4 modal logics with the finite birelational frame property
Philippe Balbiani, Martín Diéguez, David Fernández-Duque +1
The logics and are the two leading intuitionistic variants of the modal logic . Whether the finite model property holds for each of these…