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