Interpretability logics and generalised Veltman semantics
From MaRDI portal
Abstract: We obtain modal completeness of the interpretability logics ILP_0 and ILR w.r.t. generalized Veltman semantics. Our proofs are based on the notion of smart (full) labels. We also give shorter proofs of completeness w.r.t. generalized semantics for many classical interpretability logics. We obtain decidability and finite model property w.r.t. generalized semantics for ILP_0 and ILR. Finally, we develop a construction that might be useful for proofs of completeness of extensions of ILW w.r.t. generalized semantics in the future, and demonstrate its usage with ILW* = ILM_0W.
Recommendations
Cites work
- A new principle in the interpretability logic of all reasonable arithmetical theories
- Bisimulations and bisimulation quotients of generalized Veltman models
- Bisimulations between generalized Veltman models and Veltman models
- Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
- Filtrations of generalized Veltman models
- scientific article; zbMATH DE number 1215477 (Why is no real title available?)
- scientific article; zbMATH DE number 218496 (Why is no real title available?)
- scientific article; zbMATH DE number 218514 (Why is no real title available?)
- Modal Matters for Interpretability Logics
- Provability interpretations of modal logic
- The interpretability logic of Peano arithmetic
- The principles of interpretability
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
Cited in
(24)- Explicit fixed points in interpretability logic
- Interpretability degrees of finitely axiomatized sequential theories
- Some correspondences of principles in interpretability logic
- Filtrations of generalized Veltman models
- Hennessy-Milner theorem for interpretability logic
- Functional Interpretation of Logics for ‘Generally’
- scientific article; zbMATH DE number 218514 (Why is no real title available?)
- scientific article; zbMATH DE number 2099412 (Why is no real title available?)
- scientific article; zbMATH DE number 2109319 (Why is no real title available?)
- Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
- Topological semantics of conservativity and interpretability logics
- Labelled tableaux for interpretability logics
- Complexity of the interpretability logic IL
- Interpreting GPFCSP within the LΠ ½ logic framework
- Modal completeness of sublogics of the interpretability logic IL
- Theory and application of labelling techniques for interpretability logics
- Bisimulations and bisimulation games between Verbrugge models
- Bisimulations between Verbrugge models and Veltman models
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
- On the proofs of arithmetical completeness for interpretability logic
- A correspondence theorem for interpretability logic with respect to Verbrugge semantics
- Modular sequent calculi for interpretability logics
- Transformation of any Verbrugge model to a bisimilar Veltman model
- Selection method for interpretability logic \textsf{IL} with respect to Verbrugge semantics
This page was built for publication: Interpretability logics and generalised Veltman semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5148108)
