@article{b2f715a2-95e7-4fdb-9bc4-4f254b4a2b9b,
author = {Domagoj Vrgoč, Mladen Vuković},
title = {Bisimulation Quotients of Veltman Models},
journal = {Reports on Mathematical Logic},
volume = {2011},
number = {Number 46},
year = {2011},
issn = {0137-2904},
pages = {59-73},keywords = {},
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.},
doi = {10.4467/20842589RM.11.004.0282},
url = {https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/bisimulation-quotients-of-veltman-models}
}