Provability logic - Revision history

Karl Jones: /* See also */

2016-09-03T20:31:17Z

‎See also

Karl Jones at 16:21, 29 August 2016

2016-08-29T16:21:59Z

Karl Jones: 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..."

2016-08-29T15:56:22Z

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..."

New page

'''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 ==

* [https://en.wikipedia.org/wiki/Provability_logic Provability logic] @ Wikipedia

[[Category:Logic]]

@@ Line 9: / Line 9: @@
 * [[Kripke semantics]]
 * [[Japaridze's Polymodal Logic]]
 * [[Peano axioms]]

@@ Line 1: / Line 1: @@
 '''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]].
+The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as [[Peano axioms]].
 == See also ==
@@ Line 9: / Line 9: @@
 * [[Kripke semantics]]
 * [[Japaridze's Polymodal Logic]]
-* [[Peano arithmetic]]
+* [[Peano axioms]]
 == External links ==