Nuel Belnap is a logician based at the University of Pittsburgh who has made many important contributions to the philosophy of logic, temporal logic, and structural proof theory. Please see logical harmony, display logic , branching time and relevance logic for more detailed discussion of his contributions.