Difference between revisions of "Provability logic"
From Wiki @ Karl Jones dot com
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...") |
Karl Jones (Talk | contribs) (→See also) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
'''Provability logic''' is a [[modal logic]], in which the box (or "necessity") operator is interpreted as 'it is provable that'. | '''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 | + | The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as [[Peano axioms]]. |
== See also == | == See also == | ||
| Line 9: | Line 9: | ||
* [[Kripke semantics]] | * [[Kripke semantics]] | ||
* [[Japaridze's Polymodal Logic]] | * [[Japaridze's Polymodal Logic]] | ||
| − | * [[Peano | + | * [[Modal logic]] |
| + | * [[Peano axioms]] | ||
== External links == | == External links == | ||
Latest revision as of 14:31, 3 September 2016
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
- Hilbert–Bernays provability conditions
- Interpretability logic
- Kripke semantics
- Japaridze's Polymodal Logic
- Modal logic
- Peano axioms
External links
- Provability logic @ Wikipedia
