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, № 1, 2023, 8  
2. STANISLAV O. SPERANSKI, “Quantifying over events in probability logic: an introduction”, Math. Struct. Comp. Sci., 27, № 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, № 5, 2016, 1729  
5. Stanislav O. Speranski, “A note on definability in fragments of arithmetic with free unary predicates”, Arch. Math. Logic, 52, № 5-6, 2013, 507  
6. S. O. Speranski, “Elementary Invariants for Quantified Probability Logic”, Dokl. Math., 107, № 2, 2023, 93  
7. S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra Logic, 52, № 2, 2013, 159  
8. Stanislav O Speranski, “Sharpening complexity results in quantified probability logic”, Logic Journal of the IGPL, 2024, jzae114