George Edward Hughes

Equivalence relations and S5

George Edward Hughes, 1980, Notre Dame J. Formal Log..

Every world can see a reflexive world

George Edward Hughes, G. E. Hughes, 1990, Stud Logica.