1. 2019
  2. Reasoning about arbitrary natural numbers from a Carnapian perspective

    Horsten, L. & Speranski, S. O., 15 авг 2019, в: Journal of Philosophical Logic. 48, 4, стр. 685–707 23 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  3. Belnap–Dunn modal logics: truth constants vs. truth values

    Odintsov, S. P. & Speranski, S. O., 2019, в: Review of Symbolic Logic. 21 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  4. 2018
  5. Hintikka’s independence-friendly logic meets Nelson’s realizability

    Odintsov, S. P., Speranski, S. O. & Shevchenko, I. Y., 1 июн 2018, в: Studia Logica. 106, 3, стр. 637–670 34 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  6. 2017
  7. Notes on the computational aspects of Kripke's theory of truth

    Speranski, S. O., 2017, в: Studia Logica. 105, 2, стр. 407–429

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  8. Quantifying over events in probability logic: an introduction

    Speranski, S. O., 2017, в: Mathematical Structures in Computer Science. 27, 8, стр. 1581–1600

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  9. 2016
  10. A note on hereditarily $\Pi^0_1$- and $\Sigma^0_1$-complete sets of sentences

    Speranski, S. O., 2016, в: Journal of Logic and Computation. 26, 5, стр. 1729–1741

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

  11. The lattice of Belnapian modal logics: special extensions and counterparts

    Odintsov, S. P. & Speranski, S. O., 2016, в: Logic and Logical Philosophy. 25, 1, стр. 3-33 31 стр.

    Результаты исследований: Научные публикации в периодических изданияхстатьяРецензирование

ID: 147370