A generalized notion of weak interpretability and the corresponding modal logic
From MaRDI portal
Publication:685075
Recommendations
Cites work
- scientific article; zbMATH DE number 4174895 (Why is no real title available?)
- scientific article; zbMATH DE number 3957096 (Why is no real title available?)
- scientific article; zbMATH DE number 3976994 (Why is no real title available?)
- scientific article; zbMATH DE number 4010488 (Why is no real title available?)
- scientific article; zbMATH DE number 3635994 (Why is no real title available?)
- scientific article; zbMATH DE number 218496 (Why is no real title available?)
- scientific article; zbMATH DE number 220377 (Why is no real title available?)
- scientific article; zbMATH DE number 3395897 (Why is no real title available?)
- Arithmetization of metamathematics in a general setting
- Partially Conservative Extensions of Arithmetic
- Provability interpretations of modal logic
- Relative Interpretations
- The interpretability logic of Peano arithmetic
- Undecidable theories
Cited in
(12)- A mathematical characterization of interpretation between theories
- scientific article; zbMATH DE number 2099412 (Why is no real title available?)
- Essential hereditary undecidability
- Undecidability in diagonalizable algebras
- A Modal Extension of Weak Generalisation Predicate Logic
- scientific article; zbMATH DE number 5295715 (Why is no real title available?)
- Transductions in arithmetic
- Extension and interpretability
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic
- The logic of linear tolerance
- scientific article; zbMATH DE number 6290307 (Why is no real title available?)
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)