Finite-Valued Lukasiewicz Modal Logic Is PSPACE-Complete

Open in new window