An irreflexivity lemma (1981)

by D Gabbay
Venue:Aspects of Philosophical Logic