Provability logic is a branch of proof theory and a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic.
Provability logic is a branch of proof theory and a modal logic, in which the box (or "necessity") operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic.
Source: Wikipedia "Provability logic" · CC BY-SA 4.0
Share this article: X · Bluesky