Stanislav O. Speranski

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 10

Top Topics

Datalog Queries

Top Venues

J. Log. Comput.

Math. Struct. Comput. Sci.

Publications

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