Gödel–Löb provability logic

GPTKB entity