Provability logic
From Wiki @ Karl Jones dot com
Revision as of 09:56, 29 August 2016 by Karl Jones (Talk | contribs) (Created page with "'''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 proo...")
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 arithmetic.
See also
- Hilbert–Bernays provability conditions
- Interpretability logic
- Kripke semantics
- Japaridze's Polymodal Logic
- Peano arithmetic
External links
- Provability logic @ Wikipedia
