1 citations to https://www.mathnet.ru/rus/im9340
  1. Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024  crossref