1 - 7 out of 7Page size: 10
  1. 2019

  2. 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: Contribution to journal › Article › peer-review

  3. 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: Contribution to journal › Article › peer-review

  4. 2018

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

    Odintsov, S. P., Speranski, S. O. & Shevchenko, I. Y., 1 Jun 2018, In: Studia Logica. 106, 3, p. 637–670 34 p.

    Research output: Contribution to journal › Article › peer-review

  6. 2017

  7. 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: Contribution to journal › Article › peer-review

  8. 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: Contribution to journal › Article › peer-review

  9. 2016

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

    Speranski, S. O., 2016, In: Journal of Logic and Computation. 26, 5, p. 1729–1741

    Research output: Contribution to journal › Article › peer-review

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

    Odintsov, S. P. & Speranski, S. O., 2016, In: Logic and Logical Philosophy. 25, 1, p. 3-33 31 p.

    Research output: Contribution to journal › Article › peer-review

ID: 147370