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

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.

Probability Logic Математика
Logic Математика
Realizability Математика
Modal Logic Математика
Pi Математика
First-order Logic Математика
Ordinals Математика
Probability Space Математика

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

Research Output 2016 2019

  • 15 Citations
  • 2 h-Index
  • 7 статья
1 Citation (Scopus)
Modal Logic
Strong Negation
Kripke Semantics
Isomorphic
Term
2 Citations (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

Realizability
Logic
First-order Logic
Constructivism
First-order
1 Citation (Scopus)
Natural numbers
Saul Kripke
Quantified Modal Logic
1 Citation (Scopus)
Ordinals
Truth
Computational
Theory of Truth
Generalization
2 Citations (Scopus)
Probability Logic
Probability Space
Boolean algebra
Quantifiers
Analogy