Many-Valued Modal Logics (1992)

by Melvin C. Fitting
Venue:Fundamenta Informaticae