Every world can see a reflexive world (1990)

by G Hughes
Venue:Studia Logica - An International Journal for Symbolic Logic