9 citations · 21 across the 11 of their papers we have counts for
1 paper · 1 filter
Paula Menchón, Ricardo O. Rodriguez
In this paper, we introduce a new variety of Heyting algebras with two unary modal operators that are not interdefinable but satisfy the weakest condition necessary to define modal…