Some correspondences of principles in interpretability logic
From MaRDI portal
We use a generalized Veltman semantics for studying correspondences of principles in interpretability logic. Using Veltman models, \textit{V. Švejdar} [Stud. Log. 50, 29-38 (1991; Zbl 0728.03016)] proved various independence results. He did not investigate Visser's principle \(\text{M}_0\). D. de Jongh defined generalized Veltman models. With generalized Veltman models we show our main result: The principles \(\text{M, P, F, W, W}^*\), KM1, KM2, KW1, \(\text{KW1}^0\) are not provable in \(\text{ILM}_0\).
Recommendations
- The principles of interpretability
- Characteristic classes and bisimulations of generalized Veltman models
- Interpretability logics and generalised Veltman semantics
- A new principle in the interpretability logic of all reasonable arithmetical theories
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
Cited in
(8)- Explicit fixed points in interpretability logic
- Bisimulations between generalized Veltman models and Veltman models
- scientific article; zbMATH DE number 2099412 (Why is no real title available?)
- The principles of interpretability
- Modal completeness of sublogics of the interpretability logic IL
- Unary interpretability logics for sublogics of the interpretability logic \textbf{IL}
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
- Some logics in the vicinity of interpretability logics
This page was built for publication: Some correspondences of principles in interpretability logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2785600)
