Bisimulation quotients of Veltman models
type: Item
instance of: scholarly article
zbMATH Open document ID: 1253.03045
author: Domajoj Vrgoč
author: Mladen Vuković
publication date: 2012-05-30T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 6039650
zbMATH Keywords: interpretability logic
zbMATH Keywords: bisimulation
zbMATH Keywords: Veltman models
MaRDI profile type: Publication
title: Bisimulation quotients of Veltman models
published in: Reports on Mathematical Logic
review text: The paper is devoted to the interpretability logic first studied by P. Hájek and V. Švejdar and developed by A. Visser. It is a modal description of the interpretability predicate. In the paper, bisimulation quotients and largest bisimulations with respect to Veltman models are studied (those models are the basic semantics for interpretability logic).
reviewed by: Roman Murawski
description: scientific article; zbMATH DE number 6039650