A Branching Time Logic with Two Types of Probability Operators

@inproceedings{Ognjanovic2011ABT,
  title={A Branching Time Logic with Two Types of Probability Operators},
  author={Zoran Ognjanovic and Dragan Doder and Zoran Markovic},
  booktitle={SUM},
  year={2011}
}
We introduce a propositional logic whose formulas are built using the language of CTL*, enriched by two types of probability operators: one speaking about probabilities on branches, and one speaking about probabilities of sets of branches with the same initial state. An infinitary axiomatization for the logic, which is shown to be sound and strongly complete with respect to the corresponding class of models, is proposed. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS