7 citations to 10.1093/logcom/exs041 (Crossref Cited-By Service)
  1. S. O. Speranski, “ELEMENTARY INVARIANTS FOR QUANTIFIED PROBABILITY LOGIC”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 510, no. 1, 2023, 8  crossref
  2. STANISLAV O. SPERANSKI, “Quantifying over events in probability logic: an introduction”, Math. Struct. Comp. Sci., 27, no. 8, 2017, 1581  crossref
  3. Stanislav O Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024, jzae042  crossref
  4. Stanislav O. Speranski, “A note on hereditarily Π10- and Σ10-complete sets of sentences”, J Logic Computation, 26, no. 5, 2016, 1729  crossref
  5. Stanislav O. Speranski, “A note on definability in fragments of arithmetic with free unary predicates”, Arch. Math. Logic, 52, no. 5-6, 2013, 507  crossref
  6. S. O. Speranski, “Elementary Invariants for Quantified Probability Logic”, Dokl. Math., 107, no. 2, 2023, 93  crossref
  7. S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra Logic, 52, no. 2, 2013, 159  crossref