Honesty in partial logic - Hoek, Wiebe van der (Centrum voor Wiskunde en Informatica, 1995)