The Hennessy–Milner equivalence for continuous time stochastic logic with mu-operator

Journal of Applied Logic 5 (3):519-544 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2006.05.001

Links

PhilArchive



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

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

Stochastic coalgebraic logic: Bisimilarity and behavioral equivalence.Ernst-Erich Doberkat - 2008 - Annals of Pure and Applied Logic 155 (1):46-68.
A stochastic interpretation of propositional dynamic logic: expressivity.Ernst-Erich Doberkat - 2012 - Journal of Symbolic Logic 77 (2):687-716.
Final coalgebras and the Hennessy–Milner property.Robert Goldblatt - 2006 - Annals of Pure and Applied Logic 138 (1):77-93.
On the observational equivalence of continuous-time deterministic and indeterministic descriptions.Werndl Charlotte - 2011 - European Journal for Philosophy of Science 1 (2):193-225.
From discrete to continuous time.H. Jerome Keisler - 1991 - Annals of Pure and Applied Logic 52 (1-2):99-141.
Generic substitutions.Giovanni Panti - 2005 - Journal of Symbolic Logic 70 (1):61-83.
Coalgebraic logic for stochastic right coalgebras.Ernst-Erich Doberkat & Christoph Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.
Hennessy–Milner theorem for interpretability logic.Mladen Vukovic - 2005 - Bulletin of the Section of Logic 34 (4):195-201.
A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic.Vedran Čačić & Domagoj Vrgoč - 2013 - Studia Logica 101 (1):31-44.
Continuous versus Borel reductions.Simon Thomas - 2009 - Archive for Mathematical Logic 48 (8):761-770.
A stochastic model for time-ordered dependencies in continuous scale repetitive judgments.Bernard Weiss, Paul D. Coleman & Russel F. Green - 1955 - Journal of Experimental Psychology 50 (4):237.
A fundamental link between system theory and statistical mechanics.H. Atmanspacher & H. Scheingraber - 1987 - Foundations of Physics 17 (9):939-963.
Properties of Saturation in Monotonic Neighbourhood Models and Some Applications.Sergio A. Celani - 2015 - Studia Logica 103 (4):733-755.
Approximate Reasoning Based on Similarity.M. Ying, L. Biacino & G. Gerla - 2000 - Mathematical Logic Quarterly 46 (1):77-86.
Lattice properties of congruences for stochastic relations.Ernst-Erich Doberkat - 2012 - Annals of Pure and Applied Logic 163 (8):1016-1029.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,058,801)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

Add more references