Hennessy-Milner theorem for interpretability logic

MaRDI QIDQ3435248zbMATH OpenFDO

Authors Mladen Vuković

Publication date 25 April 2007

Mathematics Subject Classification ID

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

Recommendations

• A note on bisimulation and modal equivalence in provability logic and interpretability logic
• Bisimulations between generalized Veltman models and Veltman models
• scientific article; zbMATH DE number 1215477
• Filtrations of generalized Veltman models
• Interpretability logics and generalised Veltman semantics

Cited in

(8)

• A cut-free sequent system for the smallest interpretability logic
• Hennessy-Milner properties via topological compactness
• A note on bisimulation and modal equivalence in provability logic and interpretability logic
• scientific article; zbMATH DE number 1735871 (Why is no real title available?)
• Bisimulations and bisimulation games between Verbrugge models
• Apartness and distinguishing formulas in Hennessy-Milner logic
• A correspondence theorem for interpretability logic with respect to Verbrugge semantics
• Transformation of any Verbrugge model to a bisimilar Veltman model

This page was built for publication: Hennessy-Milner theorem for interpretability logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3435248)