No photo of Stanislav Speranskii

View Scopus Profile

Stanislav Speranskii

 https://orcid.org/0000-0001-6386-5632
  • 17 Citations
  • 2 h-Index
20162019

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Education/Academic qualification

Physical and Mathematical Sciences, Candidate of Sciences

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.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 17 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

    • 1 Citation (Scopus)

    Reasoning about arbitrary natural numbers from a Carnapian perspective

    Horsten, L. & Speranski, S. O., Aug 2019, In : Journal of Philosophical Logic. 48, 4, p. 685–707

    Research output

    • 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–670

    Research output

    • 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–429

    Research output

    • 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–1600

    Research output

    • 2 Citations (Scopus)

    Prizes

    Победитель конкурса «Молодая математика России 2017» с августа 2019 года

    Станислав Олегович Сперанский (Recipient), Aug 2019

    Prize

    Activities

    • 6 выступление с приглашенным докладом/лекцией
    • 3 выступление с устной презентацией
    • 2 Членство в комитете

    Arbitrary natural numbers in the framework of Carnapian quantified modal logic

    Станислав Олегович Сперанский (Invited speaker)
    23 May 2019 → 26 May 2019

    Activity

    A modal framework for reasoning about arbitrary natural numbers

    Станислав Олегович Сперанский (Keynote speaker)
    4 Dec 2019 → 8 Dec 2019

    Activity

    St. Petersburg Days of Logic and Computability IV (dedicated to the 100th anniversary of N.A. Shanin) (Event)

    Станислав Олегович Сперанский (Member)
    23 May 2019 → 26 May 2019

    Activity

    Dosen-style and Routley-style semantics for negation in a quantified setting

    Станислав Олегович Сперанский (Invited speaker)
    28 Nov 2019

    Activity

    On negation as a modal operator in a quantified setting

    Станислав Олегович Сперанский (Invited speaker)
    5 Nov 2019 → 8 Nov 2019

    Activity