6 citations · 6 across the 1 of their papers we have counts for
1 paper · 1 filter
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…