3 citations to https://www.mathnet.ru/eng/ljour9
  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. Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024  crossref