Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Interpretability_logic> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items 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 wikiPageRevisionID "543783113".
- Interpretability_logic hasPhotoCollection Interpretability_logic.
- Interpretability_logic subject Category:Modal_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 label "解釈可能性論理".
- Interpretability_logic sameAs 解釈可能性論理.
- Interpretability_logic sameAs m.02x5bv.
- Interpretability_logic sameAs Q6056451.
- Interpretability_logic sameAs Q6056451.
- Interpretability_logic wasDerivedFrom Interpretability_logic?oldid=543783113.
- Interpretability_logic isPrimaryTopicOf Interpretability_logic.