Melvin Fitting Many-Valued Non-Monotonic Modal Logics. 139-150 1992 conf/lfcs/1992 LFCS db/conf/lfcs/lfcs1992.html#Fitting92