Many-valued modal propositional calculi. Zeitschrift für Math. Logik und Grundlagen der Mathematik 34 (1988)

by P OSTERMANN