TY - JOUR
TI - Bisimulation Quotients of Veltman Models
AU - Vrgoč, Domagoj
AU - Vuković, Mladen
TI - Bisimulation Quotients of Veltman Models
AB - 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.
VL - 2011
IS - Number 46
PY - 2011
SN - 0137-2904
C1 - 2084-2589
SP - 59
EP - 73
DO - 10.4467/20842589RM.11.004.0282
UR - https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/bisimulation-quotients-of-veltman-models