6 citations · 7 across the 3 of their papers we have counts for
1 paper · 2 filters
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group oper…