BISIMULATION QUOTIENTS OF VELTMAN MODELS Cover Image

BISIMULATION QUOTIENTS OF VELTMAN MODELS
BISIMULATION QUOTIENTS OF VELTMAN MODELS

Author(s): Mladen Vuković, Domagoj Vrgoč
Subject(s): Philosophy
Published by: Wydawnictwo Uniwersytetu Jagiellońskiego
Keywords: Veltman models; Bisimulation; logic GL

Summary/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.

  • Issue Year: 2011
  • Issue No: 46
  • Page Range: 59-73
  • Page Count: 15
  • Language: English
Toggle Accessibility Mode