Saint Petersburg, 199178, Russia, Line 14th (Vasilyevsky Island), 29
(812) 363-68-71, (812) 363-68-72
ru en
Stanislav O. Speranski
Stanislav O. Speranski
Associate Professor
Contacts:

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

katze.tail@gmail.com

http://users.math-cs.spbu.ru/~speranski/

Reception hours:

By appointment


Education

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


Scientific interests

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.


Selected publications

  1. 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.
  2. L. Horsten and S.O. Speranski. Reasoning about arbitrary natural numbers from a Carnapian perspective. Journal of Philosophical Logic, 2018. Published online. 23 pp.
  3. S.O. Speranski. Quantifying over events in probability logic: an introduction. Mathematical Structures in Computer Science 27:8, 1581–1600, 2017.
  4. S.O. Speranski. Notes on the computational aspects of Kripke's theory of truth. Studia Logica 105:2, 407–429, 2017.
  5. S.O. Speranski. Some new results in monadic second-order arithmetic. Computability 4:2, 159–174, 2015.

Additional Information

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.


Teaching

Course name
Year
Semester
Role