Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Interpretability_logic> ?p ?o }
Showing triples 1 to 30 of
30
with 100 triples per page.
- Interpretability_logic abstract "Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties and relations such as weak interpretability, Π1-conservativity, cointerpretability, tolerance, cotolerance, and arithmetic complexities. Main contributors to the field are Alessandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser, and Domenico Zambella.".
- Interpretability_logic wikiPageExternalLink ~japaridz.
- Interpretability_logic wikiPageID "618086".
- Interpretability_logic wikiPageLength "3773".
- Interpretability_logic wikiPageOutDegree "12".
- Interpretability_logic wikiPageRevisionID "680545975".
- Interpretability_logic wikiPageWikiLink Category:Modal_logic.
- Interpretability_logic wikiPageWikiLink Category:Provability_logic.
- Interpretability_logic wikiPageWikiLink Cointerpretability.
- Interpretability_logic wikiPageWikiLink Cotolerance.
- Interpretability_logic wikiPageWikiLink Giorgi_Japaridze.
- Interpretability_logic wikiPageWikiLink Interpretability.
- Interpretability_logic wikiPageWikiLink Modal_logic.
- Interpretability_logic wikiPageWikiLink Provability_logic.
- Interpretability_logic wikiPageWikiLink Tolerance_(in_logic).
- Interpretability_logic wikiPageWikiLink Tolerant_sequence.
- Interpretability_logic wikiPageWikiLink Weak_interpretability.
- Interpretability_logic wikiPageWikiLinkText "Interpretability logic".
- Interpretability_logic wikiPageWikiLinkText "interpretability logic".
- Interpretability_logic hasPhotoCollection Interpretability_logic.
- Interpretability_logic subject Category:Modal_logic.
- Interpretability_logic subject Category:Provability_logic.
- Interpretability_logic comment "Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties and relations such as weak interpretability, Π1-conservativity, cointerpretability, tolerance, cotolerance, and arithmetic complexities.".
- Interpretability_logic label "Interpretability logic".
- Interpretability_logic sameAs 解釈可能性論理.
- Interpretability_logic sameAs m.02x5bv.
- Interpretability_logic sameAs Q6056451.
- Interpretability_logic sameAs Q6056451.
- Interpretability_logic wasDerivedFrom Interpretability_logic?oldid=680545975.
- Interpretability_logic isPrimaryTopicOf Interpretability_logic.