Dr. Stanislav Speranski

Profil

Derzeitige StellungProfessor W-2 und Äquivalente
FachgebietTheoretische Philosophie,Grundlagen der Mathematik, Logik, Mengenlehre
Keywordslogic, philosophy of mathematics, foundations of mathematics
Auszeichnungen

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

Aktuelle Kontaktadresse

LandRussische Föderation
OrtSaint Petersburg
Universität/InstitutionSt. Petersburg University
Websitehttps://math-cs.spbu.ru/en/

Gastgeber*innen während der Förderung

Prof. Dr. Dr. Hannes LeitgebLehrstuhl für Logik und Sprachphilosophie, Ludwig-Maximilians-Universität München (LMU), München
Beginn der ersten Förderung01.11.2014

Programm(e)

2014Humboldt-Forschungsstipendien-Programm für Postdocs

Publikationen (Auswahl)

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