A generalized notion of weak interpretability and the corresponding modal logic

DOI10.1016/0168-0072(93)90201-NzbMath0791.03032WikidataQ55952401 ScholiaQ55952401MaRDI QIDQ685075

Giorgie Dzhaparidze

Publication date: 22 September 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

tolerancedecidabilityprovabilitycointerpretabilitygeneralized weak interpretabilitysigma-one conservativity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Related Items

A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic, Undecidability in diagonalizable algebras

Cites Work

• Provability interpretations of modal logic
• Undecidable theories
• Partially Conservative Extensions of Arithmetic
• Arithmetization of metamathematics in a general setting
• The interpretability logic of Peano arithmetic
• Relative Interpretations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item