Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
type: Item
instance of: scholarly article
title: Stochastic coalgebraic logic: bisimilarity and behavioral equivalence
zbMATH Open document ID: 1147.03014
author: Ernst-Erich Doberkat
published in: Annals of Pure and Applied Logic
publication date: 2008-09-29T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 5348355
zbMATH Keywords: predicate liftings
zbMATH Keywords: behavioral equivalence
zbMATH Keywords: Hennessy-Milner theorem
zbMATH Keywords: stochastic relations
zbMATH Keywords: coalgebras
zbMATH Keywords: modal logic
MaRDI profile type: Publication
full work available at URL: j.apal.2008.01.010
OpenAlex ID: W2061119042
cites work: Modal logic
cites work: Foundations of Software Science and Computational Structures
cites work: CONCUR 2004 - Concurrency Theory
cites work: Bisimulation for labelled Markov processes
cites work: Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes.
cites work: Semi-pullbacks for stochastic relations over analytic spaces
cites work: Eilenberg--Moore algebras for stochastic relations
cites work: Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
cites work: The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator
cites work: Kleisli morphisms and randomized congruences for the Giry monad
cites work: Stochastic Relations
cites work: Coalgebraic logic for stochastic right coalgebras
cites work: Q3669422
cites work: Q4323294
cites work: Stone coalgebras
cites work: Q5639839
cites work: Bisimulation through probabilistic testing
cites work: Coalgebraic logic
cites work: Harsanyi type spaces and final coalgebras constructed from satisfied theories
cites work: Q5533878
cites work: Expressive logics for coalgebras via terminal sequence induction
cites work: Universal coalgebra: A theory of systems
cites work: Q4396494
cites work: Algebra and Coalgebra in Computer Science
cites work: Q3995745
cites work: On the final sequence of a finitary set functor
DOI: 10.1016/J.APAL.2008.01.010
description: scientific article; zbMATH DE number 5348355