9 citations · 21 across the 11 of their papers we have counts for
1 paper · 2 filters
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…