Bisimulations and bisimulation quotients of generalized Veltman models
type: Item
instance of: scholarly article
title: Bisimulations and bisimulation quotients of generalized Veltman models
zbMATH Open document ID: 1213.03072
author: Domajoj Vrgoč
author: Mladen Vuković
publication date: 2010-12-14T00:00:00Z
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 5826756
zbMATH Keywords: generalized Veltman models
zbMATH Keywords: bisimulation
zbMATH Keywords: Hennessy-Milner property
zbMATH Keywords: bisimulation quotients
zbMATH Keywords: interpretability logic
MaRDI profile type: Publication
full work available at URL: jzp067
OpenAlex ID: W1998776154
DOI: 10.1093/JIGPAL/JZP067
published in: Logic Journal of the IGPL
Recommended article: Bisimulation quotients of Veltman models
Recommended article: Bisimulations between generalized Veltman models and Veltman models
Recommended article: Characteristic classes and bisimulations of generalized Veltman models
Recommended article: Vietoris Bisimulations
Recommended article: Q5494236
Recommended article: Bisimulations and bisimulation games between Verbrugge models
Recommended article: Q3507553
Recommended article: Model Refinement Using Bisimulation Quotients
Recommended article: Bisimulations Generated from Corecursive Equations
Recommended article: Q3154151
description: scientific article