2006
DOI: 10.1093/logcom/exl004
|View full text |Cite
|
Sign up to set email alerts
|

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 proba… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
27
1

Year Published

2008
2008
2024
2024

Publication Types

Select...
4
2
1

Relationship

0
7

Authors

Journals

citations
Cited by 15 publications
(28 citation statements)
references
References 12 publications
0
27
1
Order By: Relevance
“…Apart from the line of work on logics like PCTL, there have a couple of proposals on exogenous logics that reason about probability distributions [13], [14]. Beauquier et.…”
Section: Related Workmentioning
confidence: 99%
See 3 more Smart Citations
“…Apart from the line of work on logics like PCTL, there have a couple of proposals on exogenous logics that reason about probability distributions [13], [14]. Beauquier et.…”
Section: Related Workmentioning
confidence: 99%
“…al. [13] consider a predicate logic of probability that does allow comparing the probability of being in different states at the same time. However, this logic of probability is also incomparable to the properties we consider here.…”
Section: Related Workmentioning
confidence: 99%
See 2 more Smart Citations
“…In this logic, the agent knowledge and probability operators are indexed by a temporal variable. This logic generalizes the logic of [3]. Our logics allow polynomial comparisons of probability terms, as well as comparisons of agent probability terms referring to multiple time points.…”
Section: Introductionmentioning
confidence: 99%