Many-valued non-monotonic modal logics, in (1992)

by M Fitting
Venue:Logic Foundations of Computer Science