10 citations to 10.1007/s00153-013-0328-9 (Crossref Cited-By Service)

1. S. O. Speranski, “Elementary Invariants for Quantified Probability Logic”, Dokl. Math., 107, no. 2, 2023, 93  
2. Leon Horsten, Stanislav O. Speranski, “Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective”, J Philos Logic, 48, no. 4, 2019, 685  
3. S. O. Speranski, “ELEMENTARY INVARIANTS FOR QUANTIFIED PROBABILITY LOGIC”, Doklady Rossijskoj akademii nauk. Matematika, informatika, processy upravleniâ, 510, no. 1, 2023, 8  
4. Stanislav Olegovich Speranski, Fedor Nikolaevich Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. Math., 86, no. 6, 2022, 1225  
5. Bernard Boigelot, Pascal Fontaine, Baptiste Vergain, 14151, Implementation and Application of Automata, 2023, 91  
6. Bernard Boigelot, Pascal Fontaine, Baptiste Vergain, 14132, Automated Deduction – CADE 29, 2023, 542  
7. STANISLAV O. SPERANSKI, “Quantifying over events in probability logic: an introduction”, Math. Struct. Comp. Sci., 27, no. 8, 2017, 1581  
8. Stanislav O Speranski, “An ‘elementary’ perspective on reasoning about probability spaces”, Logic Journal of the IGPL, 2024, jzae042  
9. Stanislav O. Speranski, “Some new results in monadic second-order arithmetic”, COM, 4, no. 2, 2015, 159  
10. Stanislav O. Speranski, “Notes on the Computational Aspects of Kripke’s Theory of Truth”, Stud Logica, 105, no. 2, 2017, 407