A generalized notion of weak interpretability and the corresponding modal logic
DOI10.1016/0168-0072(93)90201-NzbMATH Open0791.03032DBLPjournals/apal/Dzhaparidze93WikidataQ55952401 ScholiaQ55952401MaRDI QIDQ685075FDOQ685075
Authors: Giorgie Dzhaparidze 
Publication date: 22 September 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Recommendations
tolerancedecidabilityprovabilitycointerpretabilitygeneralized weak interpretabilitysigma-one conservativity
Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Cites Work
- Undecidable theories
- Arithmetization of metamathematics in a general setting
- Provability interpretations of modal logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The interpretability logic of Peano arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Partially Conservative Extensions of Arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relative Interpretations
Cited In (12)
- A mathematical characterization of interpretation between theories
- Essential hereditary undecidability
- Title not available (Why is that?)
- Undecidability in diagonalizable algebras
- A Modal Extension of Weak Generalisation Predicate Logic
- Title not available (Why is that?)
- Transductions in arithmetic
- Extension and interpretability
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
- Title not available (Why is that?)
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic
- The logic of linear tolerance
This page was built for publication: A generalized notion of weak interpretability and the corresponding modal logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685075)
