Research output per year
Research output per year
Personal profile
Education/Academic qualification
Physical and Mathematical Sciences, Candidate of Sciences
21 Oct 2013 → …
Award Date: 21 Oct 2013
Fingerprint
Dive into the research topics where Станислав Олегович Сперанский is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 6 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
- 19 Citations
- 2 h-Index
- 7 статья
-
Belnap–Dunn modal logics: truth constants vs. truth values
Odintsov, S. P. & Speranski, S. O., 2019, In: Review of Symbolic Logic. 21 p.Research output › peer-review
1 Citation (Scopus) -
Reasoning about arbitrary natural numbers from a Carnapian perspective
Horsten, L. & Speranski, S. O., 15 Aug 2019, In: Journal of Philosophical Logic. 48, 4, p. 685–707 23 p.Research output › peer-review
1 Citation (Scopus) -
Hintikka’s independence-friendly logic meets Nelson’s realizability
Odintsov, S. P., Speranski, S. O. & Shevchenko, I. Y., 2018, In: Studia Logica. 106, 3, p. 637–670Research output › peer-review
2 Citations (Scopus) -
Notes on the computational aspects of Kripke's theory of truth
Speranski, S. O., 2017, In: Studia Logica. 105, 2, p. 407–429Research output › peer-review
2 Citations (Scopus) -
Quantifying over events in probability logic: an introduction
Speranski, S. O., 2017, In: Mathematical Structures in Computer Science. 27, 8, p. 1581–1600Research output › peer-review
2 Citations (Scopus)
Prizes
-
Победитель конкурса «Молодая математика России 2017» с августа 2019 года
Сперанский, Станислав Олегович (Recipient), Aug 2019
Prize
Activities
-
Dosen-style and Routley-style semantics for negation in a quantified setting
Станислав Олегович Сперанский (Invited speaker)
28 Nov 2019Activity
-
St. Petersburg Days of Logic and Computability IV (dedicated to the 100th anniversary of N.A. Shanin) (Event)
Станислав Олегович Сперанский (Member)
23 May 2019 → 26 May 2019Activity
-
Arbitrary natural numbers in the framework of Carnapian quantified modal logic
Станислав Олегович Сперанский (Invited speaker)
23 May 2019 → 26 May 2019Activity
-
A modal framework for reasoning about arbitrary natural numbers
Станислав Олегович Сперанский (Keynote speaker)
4 Dec 2019 → 8 Dec 2019Activity
-
Modal bilattice logic as the fusion of K with itself
Станислав Олегович Сперанский (Speaker)
19 Jun 2019 → 21 Jun 2019Activity