Danièle Beauquier, Alexander Moshe Rabinovich, Anatol Slissenko. A Logic of Probability with Decidable Model Checking. Journal of Logic and Computation, 16(4):461-487, 2006. [doi]
@article{BeauquierRS06, title = {A Logic of Probability with Decidable Model Checking}, author = {Danièle Beauquier and Alexander Moshe Rabinovich and Anatol Slissenko}, year = {2006}, doi = {10.1093/logcom/exl004}, url = {http://dx.doi.org/10.1093/logcom/exl004}, tags = {model checking, meta-model, logic, Meta-Environment}, researchr = {https://researchr.org/publication/BeauquierRS06}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Computation}, volume = {16}, number = {4}, pages = {461-487}, }