Authors: Doberkat, Ernst-Erich
Title: Stochastic Relations Interpreting Modal Logic
Language (ISO): en
Abstract: We propose an interpretation of modal logic through stochastic relations, providing a probabilistic complement to the usual nondeterministic interpretations using Kripke models. A simple temporal logic and a logic with a countable number of diamonds illustrate the approach. The main technical result of this paper is a probabilistic analogon to the well-known Hennessy-Milner Theorem characterizing models that have the same theories for their states and bisimilarity as equivalent properties. This requires the study of congruences for stochastic relations that underly the interpretation, for which a general bisimilarity result is also established. The results depend on the existence of semi-pullbacks for stochastic relations over analytic spaces.
Subject Headings: bisimulations
Hennessy-Milner Theorem
stochastic Kripke models
stochastic relations
Issue Date: 2004-05-12
Provenance: Universität Dortmund
Appears in Collections:LS 10 Software-Technologie

Files in This Item:
File Description SizeFormat 
144.pdfDNB367.77 kBAdobe PDFView/Open

This item is protected by original copyright

All resources in the repository are protected by copyright.