Stanislav O. Speranski

Associate Professor

29B Line 14th (Vasilyevsky Island), 199178 Saint Petersburg, Russia

By appointment

04.2013 — Ph.D. (C.Sc.) in Mathematics and Physics

**Institution:** Sobolev Institute of Mathematics

**Thesis title: **Logic of Probability and Probability Logic

**Advisors:** S.P. Odintsov and E.E. Vityaev

06.2010 — M.Sc. in Mathematics

**Institution:** Novosibirsk State University

06.2008 — B.Sc. in Mathematics

**Institution: **Novosibirsk State University

My work addresses topics in:

- logic and computability theory;
- the foundations and philosophy of mathematics (broadly construed to include statistics).

- S.P. Odintsov, S.O. Speranski and I.Yu. Shevchenko (2018). Hintikka's independence-friendly logic meets Nelson's realizability. Studia Logica 106(3), 637–670.
- S.O. Speranski (2017). Notes on the computational aspects of Kripke's theory of truth. Studia Logica 105(2), 407–429.
- S.O. Speranski (2017). Quantifying over events in probability logic: an introduction. Mathematical Structures in Computer Science 27(8), 1581–1600.
- S.O. Speranski (2015). Some new results in monadic second-order arithmetic. Computability 4(2), 159–174.
- S.P. Odintsov and S.O. Speranski (2013). Computability issues for adaptive logics in multi-consequence standard format. Studia Logica 101(6), 1237–1262.

See my curriculum vitae (in English).

Course name

Year

Semester

Role