3 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Amanda Vidal
In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal man…