About: Provability logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Modal logic

Property	Value
dbo:description	Beweisbarkeit als Spielart von Notwendigkeit (de) modal logic (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20190419120954/http:/www.csc.villanova.edu/~japaridz/ http://plato.stanford.edu/entries/logic-provability/ http://www.csc.villanova.edu/~japaridz/Text/prov.pdf https://books.google.com/books%3Fhl=en&lr=&id=WekaT3OLoUcC&oi=fnd&pg=PR9&dq=%22The+Logic+of+Provability%22&ots=Oxgh3sSbQg&sig=7WM-5B0IwJdDKZVzHFVjWydTa5g%23v=onepage&q=%22The%20Logic%20of%20Provability%22&f=false https://web.archive.org/web/20050403201724/http:/www.phil.uu.nl/~lev/ https://web.archive.org/web/20050425014013/http:/www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint234.pdf https://dx.doi.org/10.1007/1-4020-3521-7_3
dbo:wikiPageWikiLink	dbr:Per_Lindström dbc:Proof_theory dbr:Hilbert–Bernays_provability_conditions dbr:Propositional_logic dbr:Robert_M._Solovay dbr:Dick_de_Jongh dbr:Kripke_semantics dbr:Modal_logic dbr:Tautology_(logic) dbr:Israel_Journal_of_Mathematics dbr:Normal_modal_logic dbc:Modal_logic dbc:Provability_logic dbr:Kurt_Gödel dbr:Löb's_theorem dbr:Well-founded_relation dbr:George_Boolos dbr:Interpretability_logic dbr:Giorgi_Japaridze dbr:Stanford_Encyclopedia_of_Philosophy dbr:Japaridze's_polymodal_logic dbr:Rineke_Verbrugge dbr:Theory_(mathematical_logic) dbr:Sergei_N._Artemov dbr:Peano_arithmetic dbr:Martin_Hugo_Löb
dbp:wikiPageUsesTemplate	dbt:Math dbt:Logic-stub dbt:Sectionlink dbt:SEP
dct:subject	dbc:Proof_theory dbc:Modal_logic dbc:Provability_logic
gold:hypernym	dbr:Logic
rdfs:label	Provability logic (en) Beweisbarkeitslogik (de) Lógica demostrativa (es) Logique de la prouvabilité (fr) 証明可能性論理 (ja)
owl:sameAs	freebase:Provability logic wikidata:Provability logic dbpedia-de:Provability logic dbpedia-fr:Provability logic dbpedia-ja:Provability logic dbpedia-es:Provability logic dbpedia-hu:Provability logic dbpedia-global:Provability logic
prov:wasDerivedFrom	wikipedia-en:Provability_logic?oldid=1269337631&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Provability_logic
is dbo:knownFor of	dbr:Karl_Schröter
is dbo:wikiPageWikiLink of	dbr:History_of_logic dbr:Saul_Kripke dbr:Gödel's_incompleteness_theorems dbr:Hilbert–Bernays_provability_conditions dbr:Proof_theory dbr:Proof_(truth) dbr:Robert_M._Solovay dbr:Dick_de_Jongh dbr:Timeline_of_mathematical_logic dbr:Gödel's_completeness_theorem dbr:Kripke_semantics dbr:Modal_logic dbr:Index_of_philosophy_articles_(I–Q) dbr:Normal_modal_logic dbr:Index_of_logic_articles dbr:Kurt_Gödel dbr:Löb's_theorem dbr:George_Boolos dbr:Interpretability_logic dbr:Jeff_Paris_(mathematician) dbr:Karl_Schröter dbr:List_of_logic_symbols dbr:List_of_mathematical_logic_topics dbr:Logical_framework dbr:Provable dbr:Japaridze's_polymodal_logic dbr:Modal_algebra dbr:Rineke_Verbrugge dbr:Outline_of_logic dbr:Sergei_N._Artemov dbr:To_Mock_a_Mockingbird
is dbp:knownFor of	dbr:Karl_Schröter
is foaf:primaryTopic of	wikipedia-en:Provability_logic