Models for relevant modal logics (1990)

by A Fuhrmann
Venue:Studia Logica