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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
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

Revision as of 09:28, 22 May 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