Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence

Annals of Pure and Applied Logic 155 (1):46-68 (2008)
  Copy   BIBTEX

Abstract

Bisimulations, behavioral equivalence and logical equivalence are investigated for stochastic image-coalgebras that interpret coalgebraic logic which is defined in terms of predicate liftings. We investigate the conditions for the functor under which these notions of equivalence are related by discussing congruences for the underlying stochastic relation. It is demonstrated that logics as diverse as continuous time stochastic logic and general modal logics can be usefully approached through coalgebraic methods

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2008.01.010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A stochastic interpretation of propositional dynamic logic: expressivity.Ernst-Erich Doberkat - 2012 - Journal of Symbolic Logic 77 (2):687-716.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christoph Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.
Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.
Lattice properties of congruences for stochastic relations.Ernst-Erich Doberkat - 2012 - Annals of Pure and Applied Logic 163 (8):1016-1029.
Generic substitutions.Giovanni Panti - 2005 - Journal of Symbolic Logic 70 (1):61-83.
Maximal R.e. Equivalence relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
Finality regained: A coalgebraic study of Scott-sets and multisets. [REVIEW]Giovanna D'Agostino & Albert Visser - 2002 - Archive for Mathematical Logic 41 (3):267-298.
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.Mark E. Nadel - 1980 - Mathematical Logic Quarterly 26 (7‐9):103-109.
On two mathematical definitions of observational equivalence: Manifest isomorphism and epsilon-congruence reconsidered.Christopher Belanger - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (2):69-76.
A stochastic behavioral model and a?Microscopic? foundation of evolutionary game theory.Dirk Helbing - 1996 - Theory and Decision 40 (2):149-179.
The {L}aczkovich—{K}omjáth property for coanalytic equivalence relations.Su Gao, Steve Jackson & Vincent Kieftenbeld - 2010 - Journal of Symbolic Logic 75 (3):1091-1101.

Analytics

Added to PP
2013-12-26

Downloads
14 (#968,362)

6 months
3 (#1,002,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christoph Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.
Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christopher Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.

Add more citations

References found in this work

Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.

Add more references