 This 2017 version of the article on provability logic is dedicated to the memory of three Nestors of provability logic and the meta-mathematics of first-order arithmetic: Franco Montagna (1948-2015), Sol Feferman (1928-2016), and Petr Hájek (1940-2016). 