3 citations to https://www.mathnet.ru/eng/ljour11
  1. S. O. Speranski, “On the decision problem for quantified probability logics”, Izv. RAN. Ser. matem., 89:3 (2025), 193–211  mathnet  crossref
  2. S. O. Speranski, “On the decision problem for quantified probability logics”, Izv. Math., 89:3 (2025), 609–627  mathnet  mathnet  crossref  crossref
  3. Alexander V Grefenshtein, “Infinitary calculus for first-order logic of probability with distribution on the domain”, Journal of Logic and Computation, 35:5 (2025)  crossref