All Stories

  1. Elementary Invariants for Quantified Probability Logic

    Article • Doklady Mathematics, April 2023, Pleiades Publishing Ltd

    Dr. Stanislav O. Speranski

  2. Infinitary Action Logic with Multiplexing

    Article • Studia Logica, November 2022, Springer Science + Business Media

    Dr. Stanislav O. Speranski

  3. Infinitary action logic with exponentiation

    Article • Annals of Pure and Applied Logic, February 2022, Elsevier

    Dr. Stanislav O. Speranski

  4. Modal Bilattice Logic and its Extensions

    Article • Algebra and Logic, January 2022, Springer Science + Business Media

    Dr. Stanislav O. Speranski

  5. On the coprimeness relation from the viewpoint of monadic second-order logic

    Article • Izvestiya Mathematics, January 2022, Steklov Mathematical Institute

    Dr. Stanislav O. Speranski

  6. Negation as a modality in a quantified setting

    Article • Journal of Logic and Computation, April 2021, Oxford University Press (OUP)

    Dr. Stanislav O. Speranski

  7. BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES

    Article • The Review of Symbolic Logic, February 2019, Cambridge University Press

    Dr. Stanislav O. Speranski

  8. Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective

    Article • Journal of Philosophical Logic, October 2018, Springer Science + Business Media

    Dr. Stanislav O. Speranski

  9. Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability

    Article • Studia Logica, October 2017, Springer Science + Business Media

    Dr. Stanislav O. Speranski

  10. Notes on the Computational Aspects of Kripke’s Theory of Truth

    Article • Studia Logica, November 2016, Springer Science + Business Media

    Dr. Stanislav O. Speranski

  11. Quantifying over events in probability logic: an introduction

    Article • Mathematical Structures in Computer Science, June 2016, Cambridge University Press

    Dr. Stanislav O. Speranski

  12. The lattice of Belnapian modal logics: Special extensions and counterparts

    Article • Logic and Logical Philosophy, February 2016, Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University

    Dr. Stanislav O. Speranski

  13. Some new results in monadic second-order arithmetic

    Article • Computability, July 2015, IOS Press

    Dr. Stanislav O. Speranski

  14. A note on hereditarily Π10- and Σ10-complete sets of sentences

    Article • Journal of Logic and Computation, November 2014, Oxford University Press (OUP)

    Dr. Stanislav O. Speranski

  15. Computability Issues for Adaptive Logics in Multi-Consequence Standard Format

    Article • Studia Logica, November 2013, Springer Science + Business Media

    Dr. Stanislav O. Speranski

  16. Probabilistic dynamic logic of cognition

    Article • Biologically Inspired Cognitive Architectures, October 2013, Elsevier

    Dr. Stanislav O. Speranski

  17. Collapsing probabilistic hierarchies. I

    Article • Algebra and Logic, May 2013, Springer Science + Business Media

    Dr. Stanislav O. Speranski

  18. A note on definability in fragments of arithmetic with free unary predicates

    Article • Archive for Mathematical Logic, April 2013, Springer Science + Business Media

    Dr. Stanislav O. Speranski

  19. Complexity for probability logic with quantifiers over propositions

    Article • Journal of Logic and Computation, September 2012, Oxford University Press (OUP)

    Dr. Stanislav O. Speranski

  20. Quantification over propositional formulas in probability logic: decidability issues

    Article • Algebra and Logic, September 2011, Springer Science + Business Media

    Dr. Stanislav O. Speranski