Nuel Dinsmore Belnap Jr. (; May 1, 1930 – June 12, 2024) was an American logician and philosopher who has made contributions to the philosophy of logic, temporal logic, and structural proof theory. H...