Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence

Authors:
Christoph Schubert
Affiliations:
Chair for Software Technology, Technische Universität Dortmund, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 6
Cited 0

Bisimulation for labelled Markov processes

Information and Computation - Special issue: LICS'97
Stone coalgebras

Theoretical Computer Science - Selected papers of CMCS'03
Bisimulation and cocongruence for probabilistic systems

Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Stochastic Relations

Stochastic Relations
Expressivity of coalgebraic modal logic: The limits and beyond

Theoretical Computer Science
Exemplaric Expressivity of Modal Logics

Journal of Logic and Computation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study the relationship between logical and behavioral equivalence for coalgebras on general measurable spaces. Modal logics are interpreted in these coalgebras using predicate liftings. Prominent examples include stochastic relations and labelled Markov transition systems and corresponding Hennessy-Milner type logics. Local versions of logical and behavioral equivalence are introduced and it is shown that these notions coincide for a wide class of functors. We relate these notions to the corresponding global ones common in model checking. Throughout, we work in general measurable spaces. In contrast to previous work, no topological assumptions on the state spaces are needed.