About: Interpretability logic

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

Modal logic studying interpretability between formal theories

Property	Value
dbo:description	modal logic studying interpretability between formal theories (en)
dbo:wikiPageExternalLink	https://web.archive.org/web/20190419120954/http:/www.csc.villanova.edu/~japaridz/
dbo:wikiPageWikiLink	dbr:Dick_de_Jongh dbr:Tolerant_sequence dbr:Petr_Hájek dbr:Modal_logic dbr:Cointerpretability dbc:Modal_logic dbc:Provability_logic dbr:Provability_logic dbr:Giorgi_Japaridze dbr:Rineke_Verbrugge dbr:Weak_interpretability dbr:Interpretability dbr:Tolerance_(in_logic) dbr:Peano_arithmetic dbr:Cotolerance
dct:subject	dbc:Interpretation_(philosophy) dbc:Provability_logic
rdfs:label	Interpretability logic (en) 解釈可能性論理 (ja)
owl:sameAs	freebase:Interpretability logic wikidata:Interpretability logic dbpedia-ja:Interpretability logic dbpedia-global:Interpretability logic
prov:wasDerivedFrom	wikipedia-en:Interpretability_logic?oldid=1269337628&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Interpretability_logic
is dbo:wikiPageWikiLink of	dbr:Proof_theory dbr:Tolerant_sequence dbr:Modal_logic dbr:Index_of_philosophy_articles_(I–Q) dbr:Arithmetical_hierarchy dbr:Index_of_logic_articles dbr:Cointerpretability dbr:Provability_logic dbr:Giorgi_Japaridze dbr:List_of_mathematical_logic_topics dbr:Rineke_Verbrugge dbr:Outline_of_logic dbr:Weak_interpretability dbr:Interpretability
is foaf:primaryTopic of	wikipedia-en:Interpretability_logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International