8 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  
2. STANISLAV O. SPERANSKI, “Quantifying over events in probability logic: an introduction”, Math. Struct. Comp. Sci., 27, no. 8, 2017, 1581  
3. Stanislav O Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024, jzae042  
4. Stanislav O. Speranski, “A note on hereditarily Π10- and Σ10-complete sets of sentences”, J Logic Computation, 26, no. 5, 2016, 1729  
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  
6. S. O. Speranski, “Elementary Invariants for Quantified Probability Logic”, Dokl. Math., 107, no. 2, 2023, 93  
7. S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra Logic, 52, no. 2, 2013, 159  
8. Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024, jzae114