BISIMULATION QUOTIENTS OF VELTMAN MODELS
BISIMULATION QUOTIENTS OF VELTMAN MODELS

Summary/Abstract: Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the provability logic GL (Gödel–Löb). Bisimulation quotients and largest bisimulations have been well studied for Kripke models. We examine interpretability logic and consider how these results extend to Veltman models.

• Details
• Contents