Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Provability_logic> ?p ?o. }
Showing items 1 to 24 of
24
with 100 items per page.
- Provability_logic abstract "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. There are a number of provability logics, some of which are covered in the literature mentioned in the References section. The basic system is generally referred to as GL (for Gödel-Löb) or L or K4W. It can be obtained by adding the modal version of Löb's theorem to the logic K (or K4). It was pioneered by Robert M. Solovay in 1976. Since then until his death in 1996 the prime inspirer of the field was George Boolos. Significant contributions to the field have been made by Sergei Artemov, Lev Beklemishev, Giorgi Japaridze, Dick de Jongh, Franco Montagna, Vladimir Shavrukov, Albert Visser and others. Interpretability logics present natural extensions of provability logic.".
- Provability_logic wikiPageExternalLink 1-4020-3521-7_3.
- Provability_logic wikiPageExternalLink logic-provability.
- Provability_logic wikiPageExternalLink ~sartemov.
- Provability_logic wikiPageExternalLink ~japaridz.
- Provability_logic wikiPageExternalLink prov.pdf.
- Provability_logic wikiPageExternalLink preprint234.pdf.
- Provability_logic wikiPageExternalLink ~lev.
- Provability_logic wikiPageID "618119".
- Provability_logic wikiPageRevisionID "542523087".
- Provability_logic hasPhotoCollection Provability_logic.
- Provability_logic subject Category:Modal_logic.
- Provability_logic subject Category:Proof_theory.
- Provability_logic comment "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. There are a number of provability logics, some of which are covered in the literature mentioned in the References section. The basic system is generally referred to as GL (for Gödel-Löb) or L or K4W.".
- Provability_logic label "Lógica demostrativa".
- Provability_logic label "Provability logic".
- Provability_logic label "証明可能性論理".
- Provability_logic sameAs Lógica_demostrativa.
- Provability_logic sameAs 証明可能性論理.
- Provability_logic sameAs m.02x5g_.
- Provability_logic sameAs Q260168.
- Provability_logic sameAs Q260168.
- Provability_logic wasDerivedFrom Provability_logic?oldid=542523087.
- Provability_logic isPrimaryTopicOf Provability_logic.