engleski

Bisimulation quotients of Veltman models

Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the provability logic GL (Goedel-Loeb). 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.

interpretability logic ; Veltman semantics

nije evidentirano