Bisimulations between generalized Veltman models and Veltman models

✍ Scribed by Mladen Vuković

• Book ID: 102486052
• Publisher: John Wiley and Sons
• Year: 2008
• Tongue: English
• Weight: 104 KB
• Volume: 54
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200710050

✦ Synopsis

Abstract

Interpretability logic is an extension of provability logic. Veltman models and generalized Veltman models are two semantics for interpretability logic. We consider a connection between Veltman semantics and generalized Veltman semantics. We prove that for a complete image‐finite generalized Veltman model__W__ there is a Veltman model W ′ that is bisimular to W. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)