Stanislav O. Speranski

Associate Professor

29 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;
- the foundations of mathematics and those of computing;
- the philosophy of mathematics and that of computing.

In general, I am concerned with developing and studying different styles of reasoning and representation.

- S.P. Odintsov and S.O. Speranski. Belnap–Dunn modal logics: truth constants vs. truth values. Review of Symbolic Logic, 2019. Accepted for publication. 20 pp.
- L. Horsten and S.O. Speranski. Reasoning about arbitrary natural numbers from a Carnapian perspective. Journal of Philosophical Logic, 2018. Published online. 23 pp.
- S.O. Speranski. Quantifying over events in probability logic: an introduction. Mathematical Structures in Computer Science 27:8, 1581–1600, 2017.
- S.O. Speranski. Notes on the computational aspects of Kripke's theory of truth. Studia Logica 105:2, 407–429, 2017.
- S.O. Speranski. Some new results in monadic second-order arithmetic. Computability 4:2, 159–174, 2015.

See my curriculum vitae.

I would recommend Stanford Encyclopedia of Philosophy as a useful source for students who want to know more more about logical matters.

Course name

Year

Semester

Role