Unin

#provability_logic

Provability logic

Provability logic is a modal logic, in which the box 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.

Wed 21st

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Provability logic Proof theory Löb's theorem List of logic symbols Japaridze's polymodal logic Modal logic Interpretability logic Gödel's incompleteness theorems Provable Outline of logic

0 searches

This keyword has never been searched before

This keyword has never been searched for with any other keyword.