A generalized notion of weak interpretability and the corresponding modal logic (Q685075): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q55952401, #quickstatements; #temporary_batch_1718132002366 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q55952401 / rank | |||
Normal rank |
Revision as of 19:53, 11 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A generalized notion of weak interpretability and the corresponding modal logic |
scientific article |
Statements
A generalized notion of weak interpretability and the corresponding modal logic (English)
0 references
22 September 1993
0 references
The paper introduces two interpretability-style relations between theories: tolerance (generalized weak interpretability) and cointerpretability. Intuitively, \(S\) is tolerant with \(T\) if \(T\) can be translated into \(S\) in such a way that the translation of any theorem of \(T\) is consistent with \(S\); and \(S\) cointerprets \(T\), if \(S\) can be translated into \(T\) in such a way that \(S\) proves every formula the translation of which is a theorem of \(T\). The set of all valid principles of tolerance is modal-logically axiomatized and its decidability is proven. As for cointerpretability, it turns out to be a characterization of sigma-one conservativity (over strong theories) in terms of translations.
0 references
provability
0 references
generalized weak interpretability
0 references
tolerance
0 references
cointerpretability
0 references
decidability
0 references
sigma-one conservativity
0 references