Switch to: References

Citations of:

Dealing with the Ramification Problem in Extended Propositional Dynamic Logic

In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 173-191 (1998)

Add citations

You must login to add citations.
  1. Means-end relations and a measure of efficacy.Jesse Hughes, Albert Esterline & Bahram Kimiaghalam - 2006 - Journal of Logic, Language and Information 15 (1-2):83-108.
    Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic features common to much practical reasoning involving means and ends. We alter the semantics for PDL by adding probabilities to the transition systems and interpreting dynamic formulas 〈α〉 ϕ as fuzzy predicates about the reliability of α as a means to ϕ. This gives our semantics a measure of efficacy for means-end relations.
    Download  
     
    Export citation  
     
    Bookmark   2 citations