Stanislav O. Speranski

15 papers Journal 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
Sharpening complexity results in quantified probability logic.
Log. J. IGPL
Stanislav O. Speranski
2023 J jnl
Infinitary Action Logic with Multiplexing.
Stud Logica
Stepan L. Kuznetsov, Stanislav O. Speranski
2022 J jnl
Infinitary action logic with exponentiation.
Ann. Pure Appl. Log.
Stepan L. Kuznetsov, Stanislav O. Speranski
2021 J jnl
Negation as a modality in a quantified setting.
J. Log. Comput.
Stanislav O. Speranski
2020 J jnl
Belnap-Dunn Modal Logics: Truth constants vs. Truth Values.
Rev. Symb. Log.
Sergei P. Odintsov, Stanislav O. Speranski
2020 J jnl
Infinitary Action Logic with Exponentiation.
CoRR
Stepan L. Kuznetsov, Stanislav O. Speranski
2019 J jnl
Reasoning about Arbitrary Natural Numbers from a Carnapian Perspective.
J. Philos. Log.
Leon Horsten, Stanislav O. Speranski
2018 J jnl
Hintikka's Independence-Friendly Logic Meets Nelson's Realizability.
Stud Logica
Sergei P. Odintsov, Stanislav O. Speranski, Igor Shevchenko
2017 J jnl
Notes on the Computational Aspects of Kripke's Theory of Truth.
Stud Logica
Stanislav O. Speranski
2017 J jnl
Quantifying over events in probability logic: an introduction.
Math. Struct. Comput. Sci.
Stanislav O. Speranski
2016 J jnl
A note on hereditarily Π10- and Σ10-complete sets of sentences.
J. Log. Comput.
Stanislav O. Speranski
2015 J jnl
Some new results in monadic second-order arithmetic.
Comput.
Stanislav O. Speranski
2013 J jnl
A note on definability in fragments of arithmetic with free unary predicates.
Arch. Math. Log.
Stanislav O. Speranski
2013 J jnl
Complexity for probability logic with quantifiers over propositions.
J. Log. Comput.
Stanislav O. Speranski
2013 J jnl
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.
Stud Logica
Sergei P. Odintsov, Stanislav O. Speranski