Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Provability_logic> ?p ?o }
Showing triples 1 to 54 of
54
with 100 triples 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.".
- Provability_logic wikiPageExternalLink 1-4020-3521-7_3.
- Provability_logic wikiPageExternalLink logic-provability.
- Provability_logic wikiPageExternalLink ~japaridz.
- Provability_logic wikiPageExternalLink prov.pdf.
- Provability_logic wikiPageExternalLink preprint234.pdf.
- Provability_logic wikiPageExternalLink ~lev.
- Provability_logic wikiPageID "618119".
- Provability_logic wikiPageLength "2911".
- Provability_logic wikiPageOutDegree "25".
- Provability_logic wikiPageRevisionID "680563966".
- Provability_logic wikiPageWikiLink Category:Modal_logic.
- Provability_logic wikiPageWikiLink Category:Proof_theory.
- Provability_logic wikiPageWikiLink Category:Provability_logic.
- Provability_logic wikiPageWikiLink Dick_de_Jongh.
- Provability_logic wikiPageWikiLink George_Boolos.
- Provability_logic wikiPageWikiLink Giorgi_Japaridze.
- Provability_logic wikiPageWikiLink Hilbert–Bernays_provability_conditions.
- Provability_logic wikiPageWikiLink Interpretability_logic.
- Provability_logic wikiPageWikiLink Japaridzes_polymodal_logic.
- Provability_logic wikiPageWikiLink Kripke_semantics.
- Provability_logic wikiPageWikiLink Kurt_Gödel.
- Provability_logic wikiPageWikiLink Lxc3xb6bs_theorem.
- Provability_logic wikiPageWikiLink Martin_Löb.
- Provability_logic wikiPageWikiLink Modal_logic.
- Provability_logic wikiPageWikiLink Peano_axioms.
- Provability_logic wikiPageWikiLink Per_Lindström.
- Provability_logic wikiPageWikiLink Robert_M._Solovay.
- Provability_logic wikiPageWikiLink Sergei_N._Artemov.
- Provability_logic wikiPageWikiLink Stanford_Encyclopedia_of_Philosophy.
- Provability_logic wikiPageWikiLink Theory_(mathematical_logic).
- Provability_logic wikiPageWikiLinkText "GL".
- Provability_logic wikiPageWikiLinkText "Provability logic".
- Provability_logic wikiPageWikiLinkText "deducible".
- Provability_logic wikiPageWikiLinkText "provability logic".
- Provability_logic wikiPageWikiLinkText "provability".
- Provability_logic wikiPageUsesTemplate Template:Logic-stub.
- Provability_logic wikiPageUsesTemplate Template:Math.
- Provability_logic subject Category:Modal_logic.
- Provability_logic subject Category:Proof_theory.
- Provability_logic subject Category:Provability_logic.
- Provability_logic hypernym Logic.
- Provability_logic type Proof.
- Provability_logic type Concept.
- 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.".
- Provability_logic label "Provability logic".
- Provability_logic sameAs Q260168.
- Provability_logic sameAs Lógica_demostrativa.
- Provability_logic sameAs Bizonyíthatósági_logika.
- Provability_logic sameAs 証明可能性論理.
- Provability_logic sameAs m.02x5g_.
- Provability_logic sameAs Q260168.
- Provability_logic wasDerivedFrom Provability_logic?oldid=680563966.
- Provability_logic isPrimaryTopicOf Provability_logic.