engleski

A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic

Interpretability logic is a modal logic for studying interpretability between logical theories. Its natural models are Veltman models, for which the accessibility relation is well- founded. That's why the usual counterexample showing the necessity of finite image property in Hennessy-Milner theorem doesn't exist for Interpretability logic. However, we show that the analogous condition must still hold, by constructing two Veltman models with worlds in them that are modally equivalent but not bisimilar. In the process we develop some useful constructions on Veltman models: games, chains, and obtaining Veltman models/frames from GL ones.

bisimulation ; modal equivalence ; provability ; interpretability

nije evidentirano