closeHello! Click here if you would like to know what Factolex is about.

Provability logic
also called "necessity"

Start collecting facts
These are the best facts for Provability logic, collected by our users from the web:
(You can find the source through the icon at the end of each fact)
  1. a modal logic, in which the box operator is interpreted as 'it is provable that'

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 26, 2009
  2. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 26, 2009
  3. There are a number of provability logics, some of which are covered in the literature mentioned in the References section

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 26, 2009
  4. The basic system is generally referred to as GL (for Gödel-Löb) or L or K4W

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 26, 2009
  5. can be obtained by adding the modal version of Löb's theorem to the logic K (or K4)

    Source: Wikipedia Unhappy with this fact? more info
    created by user picturefactobot on March 26, 2009
Do you know more? Submit a new fact

Add a new fact

A fact should only contain one sentence, describing an aspect of the term.

Fact
Example: located on the west coast of the U.S
Source
Tags
optional

Example: geography location -- separate tags with spaces

Add one more fact or give me some inspiration from:

More lexica »Featured Lexica

Look at what our users have created already.

Feedback

Please tell us what you think about our project

Contribute

On Factolex you can add facts and terms that you believe are missing.

To be sure that the term hasn't already been entered, please use the search function before doing so.

Home  |  About  |  FAQ  |  Feedback  |  Tools  |  Stats  |  Contact Us  |  API  |  Blog
Change language to: