Research Output per year
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 статья
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
Modal Logic
Strong Negation
Kripke Semantics
Isomorphic
Term
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
Realizability
Logic
First-order Logic
Constructivism
First-order
Reasoning about arbitrary natural numbers from a Carnapian perspective
Horsten, L. & Speranski, S. O., Oct 2018, In : Journal of Philosophical Logic. 23 p.Research output
Natural numbers
Saul Kripke
Quantified Modal Logic
Notes on the computational aspects of Kripke's theory of truth
Speranski, S. O., 2017, In : Studia Logica. 105, 2, p. 407–429Research output
Ordinals
Truth
Computational
Theory of Truth
Generalization
Quantifying over events in probability logic: an introduction
Speranski, S. O., 2017, In : Mathematical Structures in Computer Science. 27, 8, p. 1581–1600Research output
Probability Logic
Probability Space
Boolean algebra
Quantifiers
Analogy