Bisimulation Quotients of Veltman Models

• Authors: Domagoj Vrgoč , Mladen Vuković
• Languages of publication: PL

Abstracts

PL

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

Keywords

PL

• Publisher: [unknown2]
• Journal: Reports on Mathematical Logic
• Year: 2011
• Volume: 46

Dates

published

2011

online

07 - 07 - 2015

Contributors

author

Domagoj Vrgoč

author

Mladen Vuković