Many-valued modal logics: Uses and predicate calculus. Zeitschrift für mathematische Logik und Gründlagen der Mathematik (1990)

by P Ostermann