Instant Access to the Journals You Need

for just $40 per month.

Start Your Free Trial

A Logic of Probability with Decidable Model Checking *

A Logic of Probability with Decidable Model Checking *


A predicate logic of probability, close to the logics of probability of Halpern et al ., is introduced. Our main result concerns the following model-checking problem: deciding whether a given formula holds on the structure defined by a given finite probabilistic process. We show that this model-checking problem is decidable for a rather large subclass of formulas of a second-order monadic logic of probability. We discuss also the decidability of satisfiability and compare our logic of probability with the probabilistic temporal logic pCTL * . * Partially supported by French-Israeli Arc-en-ciel/Keshet project No. 30 and No. 15.
Loading next page...

You're reading a free preview. Subscribe to read the entire article.

And millions more from thousands of peer-reviewed journals, for only $40/month.

Start Your Free Trial

What content is in DeepDyve?

  • Read and share from thousands of the leading scholarly journals from Springer, Elsevier, Nature, IEEE, Wiley-Blackwell and more.
  • All the latest content is available, no embargo periods.

Rent Scholarly Articles?

  • Read the full article in your browser.
  • Access all of your rentals from the cloud anywhere you have an internet connection.
  • Beautiful reading experience – Full charts and figures, just like the PDF.
  • Read as much as you'd like - whenever you'd like.

Happy Users

“In one word renting from DeepDyve is FANTASTIC!!! ... 99% of the time I only need access to an article for a month or so, so renting the articles is perfect for me.”

Adam S.

“Thanks for a great service! For an unaffiliated science blogger like myself this is like a dream come true.”

Seppo P.

“Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”

Daniel C.

“Let me seize this opportunity and congratulate you on the service you are rendering to the scientific community.”

Joao B.