Dr. Stanislav Speranski

Profile

Academic positionAssociate Professor, Senior Lecturer, Reader
Research fieldsTheoretical Philosophy,Fundamentals of Mathematics, Logics, Set Theory
Keywordslogic, philosophy of mathematics, foundations of mathematics
Honours and awards

2019: `Young Russian Mathematics' Competition: Individual Award/Fellowship

2017: IAS Benjamin Meaker Visiting Professorship (at the University of Bristol)

2014: Humboldt Research Fellowship for Postdoctoral Researchers

Current contact address

CountryRussian Federation
CitySaint Petersburg
InstitutionSt. Petersburg University
Homepagehttps://math-cs.spbu.ru/en/

Host during sponsorship

Prof. Dr. Dr. Hannes LeitgebLehrstuhl für Logik und Sprachphilosophie, Ludwig-Maximilians-Universität München (LMU), München
Start of initial sponsorship01/11/2014

Programme(s)

2014Humboldt Research Fellowship Programme for Postdocs

Publications (partial selection)

2017Sergei Odintsov, Stanislav Speranski, Igor Shevchenko: Hintikka’s independence-friendly logic meets Nelson’s realizability. In: Studia Logica, 2017, 1-34
2017Stanislav Speranski: Notes on the computational aspects of Kripke’s theory of truth. In: Studia Logica, 2017, 407-429
2016Sergei Odintsov, Stanislav Speranski: The lattice of Belnapian modal logics: special extensions and counterparts. In: Logic and Logical Philosophy, 2016, 3-33
2015Stanislav Speranski: Some new results in monadic second-order arithmetic. In: Computability, 2015, 159-174