Subscribe to thousands of academic journals for just $40/month
Read and share the articles you need for your research, all in one place.

A Logic of Probability with Decidable Model Checking *

Journal of Logic And Computation , Volume 16 (4) – Aug 1, 2006

Details

Publisher
Oxford University Press
Copyright
Copyright © 2006 Oxford University Press
ISSN
0955-792X
eISSN
1465-363X
D.O.I.
10.1093/logcom/exl004
Publisher site
See Article on Publisher Site

Preview Only

Expand Tray Hide Tray

A Logic of Probability with Decidable Model Checking *

Abstract

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...

Preview Only. This article cannot be rented because we do not currently have permission from the publisher.

 
/lp/oxford-university-press/a-logic-of-probability-with-decidable-model-checking-y604LhZOiz