Filtrations of generalized Veltman models
The paper is devoted to provability logic and its extension, i.e., the interpretability logic IL introduced by \textit{A. Visser} [in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898--1980), held in Chaika, Bulgaria, September 13--23, 1988. New York: Plenum Press. 175--209 (1990; Zbl 0793.03064)]. The author adapts the filtration method to the generalized Veltman semantics for interpretability logic. Bisimulations are used to define adequate filtrations -- this is done in order to preserve the defining properties of generalized Veltman models. The main results are: an alternative proof of the finite model property of interpretability logic IL with respect to Veltman models, the proof of the finite model property for the systems ILM and ILM\(_{0}\) with respect to generalized Veltman models.
- Bisimulations between generalized Veltman models and Veltman models
- scientific article; zbMATH DE number 2109319
- Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
- 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
- A note on bisimulation and modal equivalence in provability logic and interpretability logic
- Bisimulations and bisimulation quotients of generalized Veltman models
- Bisimulations between generalized Veltman models and Veltman models
- Modal Matters for Interpretability Logics
- The interpretability logic of Peano arithmetic
- The principles of interpretability
- Every finitely reducible logic has the finite model property with respect to the class of \(\lozenge\)-formulae
- A note on ultraproducts of Veltman models
- Hennessy-Milner theorem for interpretability logic
- scientific article; zbMATH DE number 2024611 (Why is no real title available?)
- Filtration safe operations on frames
- Canonical filtrations and local tabularity
- Decidability of interpretability logics \(\mathbf{IL}\mathtt{M}_0\) and \(\mathbf{IL}\mathtt{W}^*\)
- Interpretability logics and generalised Veltman semantics
- An algebraic look at filtrations in modal logic
- An algebraic approach to filtrations for superintuitionistic logics
- Filtration via bisimulation
- 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
- 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: Filtrations of generalized Veltman models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2827954)
