Interpretability logic (original) (raw)

About DBpedia

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