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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

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

Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christopher Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.
Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christoph Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.
Expressive Logics for Coalgebras via Terminal Sequence Induction.Dirk Pattinson - 2004 - Notre Dame Journal of Formal Logic 45 (1):19-33.
A stochastic interpretation of propositional dynamic logic: expressivity.Ernst-Erich Doberkat - 2012 - Journal of Symbolic Logic 77 (2):687-716.
Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.Kentarô Yamamoto - 2020 - Studia Logica 109 (2):397-421.
Final coalgebras and the Hennessy–Milner property.Robert Goldblatt - 2006 - Annals of Pure and Applied Logic 138 (1):77-93.
The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator.Ernst-Erich Doberkat - 2007 - Journal of Applied Logic 5 (3):519-544.
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.
Definitional equivalence and algebraizability of generalized logical systems.Alexej P. Pynko - 1999 - Annals of Pure and Applied Logic 98 (1-3):1-68.

Analytics

Added to PP
2013-12-26

Downloads
28 (#888,263)

6 months
6 (#724,158)

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