13 citations · 24 across the 11 of their papers we have counts for
1 paper · 1 filter
Tiziano Dalmonte, Charles Grellois, Nicola Olivetti
We define a family of intuitionistic non-normal modal logics; they can bee seen as intuitionistic counterparts of classical ones. We first consider monomodal logics, which contain…