A generalized notion of weak interpretability and the corresponding modal logic (Q685075): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Created claim: DBLP publication ID (P1635): journals/apal/Dzhaparidze93, #quickstatements; #temporary_batch_1731468600454
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3743302 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The interpretability logic of Peano arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4196401 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4694209 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3199395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4696162 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmetization of metamathematics in a general setting / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partially Conservative Extensions of Arithmetic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5663866 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3726109 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relative Interpretations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Provability interpretations of modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Undecidable theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3760514 / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q55952401 / rank
 
Normal rank
Property / DBLP publication ID
 
Property / DBLP publication ID: journals/apal/Dzhaparidze93 / rank
 
Normal rank

Latest revision as of 04:34, 13 November 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

    Identifiers