1. Abadi, M., Halpern, J.Y.: Decidability and expressiveness for first-order logics of probability. Inf. Comput. 112, 1–36 (1994)
2. Adams, E.W.: The Logic of Conditionals: An Application of Probability to Deductive Logic. D. Reidel Publishing Company, Dordrecht (1975)
3. Adams, E.W.: A Primer of Probability Logic. Center for the Study of Language and Information, Stanford (1996)
4. Alechina, N.: Logic with probabilistic operators. In: Proceedings ACCOLADE 1994, pp. 121–138 (1995). http://www.cs.nott.ac.uk/~nza/papers/Alechina:95c.ps.gz
5. Alechina, N.: Modal Quantifiers. Ph.D. thesis, ILLC Dissertation Series 1995-20. Institute for Logic, Language and Computation, Amsterdam (1995). http://www.cs.nott.ac.uk/~nza/papers/Alechina:95d.pdf