Interpretability logic (original) (raw)
Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability or various related metamathematical properties and relations such as weak interpretability, Π1-conservativity, cointerpretability, tolerance, , 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.
| Property | Value |
|---|---|
| dbo:abstract | Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability or various related metamathematical properties and relations such as weak interpretability, Π1-conservativity, cointerpretability, tolerance, , 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. (en) 解釈可能性論理 (英: Interpretability logics) は、様相論理の一系統を構成しており、 (en) や弱い解釈可能性 (en)、Π1-conservativity、cointerpretability、tolerance、cotolerance、および計算複雑さ (arithmetic complexity) のような様々な関連する数学的性質と関係を記述するために証明可能性論理を拡張したものである。 この分野への主要な貢献者は、Alessandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser および Domenico Zambellaらである。 (ja) |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20190419120954/http:/www.csc.villanova.edu/~japaridz/ |
| dbo:wikiPageID | 618086 (xsd:integer) |
| dbo:wikiPageLength | 3836 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1106598230 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Modal_logic dbr:Peano_arithmetic dbr:Rineke_Verbrugge dbr:Interpretability dbc:Provability_logic dbr:Giorgi_Japaridze dbr:Dick_de_Jongh dbc:Modal_logic dbr:Cointerpretability dbr:Provability_logic dbr:Petr_Hájek dbr:Weak_interpretability dbr:Tolerant_sequence dbr:Tolerance_(in_logic) dbr:Cotolerance |
| dct:subject | dbc:Provability_logic dbc:Modal_logic |
| rdfs:comment | Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability or various related metamathematical properties and relations such as weak interpretability, Π1-conservativity, cointerpretability, tolerance, , 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. (en) 解釈可能性論理 (英: Interpretability logics) は、様相論理の一系統を構成しており、 (en) や弱い解釈可能性 (en)、Π1-conservativity、cointerpretability、tolerance、cotolerance、および計算複雑さ (arithmetic complexity) のような様々な関連する数学的性質と関係を記述するために証明可能性論理を拡張したものである。 この分野への主要な貢献者は、Alessandro Berarducci, Petr Hájek, Konstantin Ignatiev, Giorgi Japaridze, Franco Montagna, Vladimir Shavrukov, Rineke Verbrugge, Albert Visser および Domenico Zambellaらである。 (ja) |
| rdfs:label | Interpretability logic (en) 解釈可能性論理 (ja) |
| owl:sameAs | freebase:Interpretability logic wikidata:Interpretability logic dbpedia-ja:Interpretability logic https://global.dbpedia.org/id/4no3k |
| prov:wasDerivedFrom | wikipedia-en:Interpretability_logic?oldid=1106598230&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Interpretability_logic |
| is dbo:wikiPageWikiLink of | dbr:Modal_logic dbr:Rineke_Verbrugge dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(I–Q) dbr:Interpretability dbr:List_of_mathematical_logic_topics dbr:Arithmetical_hierarchy dbr:Giorgi_Japaridze dbr:Proof_theory dbr:Cointerpretability dbr:Provability_logic dbr:Weak_interpretability dbr:Tolerant_sequence dbr:Outline_of_logic |
| is foaf:primaryTopic of | wikipedia-en:Interpretability_logic |