Towards a Coalgebraic Interpretation of Propositional Dynamic Logic

Details Towards a Coalgebraic Interpretation of Propositional Dynamic Logic Towards a Coalgebraic Interpretation of Propositional Dynamic Logic

2011-09-16

arxiv.org/abs/1109.3685v1

Computer Science

Logic in Computer Science

Scientific paper

The interpretation of propositional dynamic logic (PDL) through Kripke models requires the relations constituting the interpreting Kripke model to closely observe the syntax of the modal operators. This poses a significant challenge for an interpretation of PDL through stochastic Kripke models, because the programs' operations do not always have a natural counterpart in the set of stochastic relations. We use rewrite rules for building up an interpretation of PDL. It is shown that each program corresponds to an essentially unique irreducible tree, which in turn is assigned a predicate lifting, serving as the program's interpretation. The paper establishes and studies this interpretation. It discusses the expressivity of probabilistic models for PDL and relates properties like logical and behavioral equivalence or bisimilarity to the corresponding properties of a Kripke model for a closely related non-dynamic logic of the Hennessy-Milner type.

Affiliated with

Also associated with

No associations

Rating

Towards a Coalgebraic Interpretation of Propositional Dynamic Logic does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Towards a Coalgebraic Interpretation of Propositional Dynamic Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards a Coalgebraic Interpretation of Propositional Dynamic Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-535401