Many-valued modal logics (1991)

by Melvin Fitting
Venue:Fundam. Inform