Provability logic

From Wiki @ Karl Jones dot com
Jump to: navigation, search

Provability logic is 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 axioms.

See also

External links