A bisimulation characterization for interpretability logic

DOI10.1093/JIGPAL/JZU015zbMATH Open1405.03097OpenAlexW2091952361MaRDI QIDQ4644496FDOQ4644496

Authors: Tin Perkov, Mladen Vuković 

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzu015

Recommendations

• A note on bisimulation and modal equivalence in provability logic and interpretability logic
• Characteristic classes and bisimulations of generalized Veltman models
• Bisimulations and bisimulation quotients of generalized Veltman models
• Bisimulations between generalized Veltman models and Veltman models
• Bisimulation quotients of Veltman models

zbMATH Keywords

interpretability logicVeltman modelsbisimulation gamesbisimulation invariance

Mathematics Subject Classification ID

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

Cited In (4)

• Bisimulations and bisimulation games between Verbrugge models
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Model-theoretic characterization of intuitionistic predicate formulas
• A note on bisimulation and modal equivalence in provability logic and interpretability logic

This page was built for publication: A bisimulation characterization for interpretability logic

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