Unprovability of the logical characterization of bisimulation
type: Item
instance of: scholarly article
title: Unprovability of the logical characterization of bisimulation
zbMATH Open document ID: 1216.68196
author: Pedro Sánchez Terraf
published in: Information and Computation
publication date: 2011-07-18T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 60J05
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5925500
zbMATH Keywords: labelled Markov process
zbMATH Keywords: probabilistic bisimulation
zbMATH Keywords: modal logic
zbMATH Keywords: nonmeasurable set
MaRDI profile type: Publication
full work available at URL: j.ic.2011.02.003
OpenAlex ID: W2061760083
cites work: Q5563135
cites work: Bisimulation and cocongruence for probabilistic systems
cites work: Bisimulation for labelled Markov processes
cites work: Q4449236
cites work: Kleisli morphisms and randomized congruences for the Giry monad
cites work: Q3996911
cites work: Semi-pullbacks and bisimulation in categories of Markov processes
cites work: Q3946875
cites work: Q5726943
cites work: Bisimulation from open maps
cites work: Q4372664
cites work: Topology and descriptive set theory
cites work: Bisimulation through probabilistic testing
cites work: Extensions of measure
cites work: Q5731904
cites work: Q4340161
cites work: Universal coalgebra: A theory of systems
DOI: 10.1016/J.IC.2011.02.003
description: scientific article; zbMATH DE number 5925500