Kurt Gödel skrev den første artikkelen om bevisbarhhetslogikk, som bruker modallogikk — logikken for nødvendighet og mulighet — på teorien for matematisk bevis, men Gödel utviklet ikke temaet videre. Boolos var en av de første som videreførte arbeidet, og produserte den første boka om temaet, , utgitt i 1979. Noen år senere førte løsningen på et viktig, tidligere uløst problem, til boka , utgitt i 1993.