The following publications are possibly variants of this publication:
- A Branching Time Logic with Two Types of Probability OperatorsZoran Ognjanovic, Dragan Doder, Zoran Markovic. sum 2011: 219-232 [doi]
- Logics with the Qualitative Probability OperatorZoran Ognjanovic, Aleksandar Perovic, Miodrag Raskovic. igpl, 16(2):105-120, 2008. [doi]
- Logics with lower and upper probability operatorsNenad Savic, Dragan Doder, Zoran Ognjanovic. ijar, 88:148-168, 2017. [doi]
- Some first-order probability logicsZoran Ognjanovic, Miodrag Raskovic. TCS, 247(1-2):191-212, 2000. [doi]