Filtrations of generalized Veltman models

DOI10.1002/MALQ.201500030MaRDI QIDQ2827954zbMATH OpenOpenAlexFDO

Authors Tin Perkov, Mladen Vuković

Publication date 24 October 2016

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.201500030

zbMATH Keywords

filtrationfinite model propertygeneralized Veltman semanticsinterpretability logicmodal logicprovability logicVeltman model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• 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

Cites work

• 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

Cited in

(18)

• 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)