×

Speranski, Stanislav O.

Author ID: speranski.stanislav-o Recent zbMATH articles by "Speranski, Stanislav O."
Published as: Speranski, Stanislav O.; Speranski, S. O.; Speranskii, S. O.; Speranskij, S. O.
Homepage: http://www.mi-ras.ru/~speranski/
External Links: MGP · ORCID · Math-Net.Ru · dblp
Documents Indexed: 26 Publications since 2011, including 1 Additional arXiv Preprint
Co-Authors: 7 Co-Authors with 11 Joint Publications
116 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

19 Publications have been cited 72 times in 47 Documents Cited by Year
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
13
2016
A note on definability in fragments of arithmetic with free unary predicates. Zbl 1279.03066
Speranski, Stanislav O.
8
2013
Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 1506.03071
Odintsov, Sergei P.; Speranski, Stanislav O.
8
2020
Infinitary action logic with exponentiation. Zbl 07458791
Kuznetsov, Stepan L.; Speranski, Stanislav O.
5
2022
A note on hereditarily \(\Pi_1^0\)- and \(\Sigma_1^0\)-complete sets of sentences. Zbl 1401.03072
Speranski, Stanislav O.
4
2016
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
4
2012
Complexity for probability logic with quantifiers over propositions. Zbl 1309.03009
Speranski, Stanislav O.
4
2013
Computability issues for adaptive logics in multi-consequence standard format. Zbl 1329.03065
Odintsov, Sergei P.; Speranski, Stanislav O.
4
2013
Quantification over propositional formulas in probability logic: decidability issues. Zbl 1432.03033
Speranskii, S. O.
3
2011
Negation as a modality in a quantified setting. Zbl 07398787
Speranski, Stanislav O.
3
2021
Quantifying over events in probability logic: an introduction. Zbl 1456.03046
Speranski, Stanislav O.
3
2017
Notes on the computational aspects of Kripke’s theory of truth. Zbl 1417.03244
Speranski, Stanislav O.
3
2017
On Belnapian modal algebras: representations, homomorphisms, congruences, and so on. Zbl 1330.03047
Speranski, S. O.
3
2013
Hintikka’s independence-friendly logic meets Nelson’s realizability. Zbl 1478.03056
Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu.
2
2018
Modal bilattice logic and its extensions. Zbl 1515.03108
Speranski, S. O.
1
2022
Some new results in monadic second-order arithmetic. Zbl 1337.03087
Speranski, Stanislav O.
1
2015
Collapsing probabilistic hierarchies. I. Zbl 1315.03033
Speranskii, S. O.
1
2013
Reasoning about arbitrary natural numbers from a Carnapian perspective. Zbl 1457.03014
Horsten, Leon; Speranski, Stanislav O.
1
2019
Infinitary action logic with multiplexing. Zbl 07677358
Kuznetsov, Stepan L.; Speranski, Stanislav O.
1
2023
Infinitary action logic with multiplexing. Zbl 07677358
Kuznetsov, Stepan L.; Speranski, Stanislav O.
1
2023
Infinitary action logic with exponentiation. Zbl 07458791
Kuznetsov, Stepan L.; Speranski, Stanislav O.
5
2022
Modal bilattice logic and its extensions. Zbl 1515.03108
Speranski, S. O.
1
2022
Negation as a modality in a quantified setting. Zbl 07398787
Speranski, Stanislav O.
3
2021
Belnap-Dunn modal logics: truth constants vs. truth values. Zbl 1506.03071
Odintsov, Sergei P.; Speranski, Stanislav O.
8
2020
Reasoning about arbitrary natural numbers from a Carnapian perspective. Zbl 1457.03014
Horsten, Leon; Speranski, Stanislav O.
1
2019
Hintikka’s independence-friendly logic meets Nelson’s realizability. Zbl 1478.03056
Odintsov, Sergei P.; Speranski, Stanislav O.; Shevchenko, Igor Yu.
2
2018
Quantifying over events in probability logic: an introduction. Zbl 1456.03046
Speranski, Stanislav O.
3
2017
Notes on the computational aspects of Kripke’s theory of truth. Zbl 1417.03244
Speranski, Stanislav O.
3
2017
The lattice of Belnapian modal logics: special extensions and counterparts. Zbl 1396.03034
Odintsov, Sergei P.; Speranski, Stanislav O.
13
2016
A note on hereditarily \(\Pi_1^0\)- and \(\Sigma_1^0\)-complete sets of sentences. Zbl 1401.03072
Speranski, Stanislav O.
4
2016
Some new results in monadic second-order arithmetic. Zbl 1337.03087
Speranski, Stanislav O.
1
2015
A note on definability in fragments of arithmetic with free unary predicates. Zbl 1279.03066
Speranski, Stanislav O.
8
2013
Complexity for probability logic with quantifiers over propositions. Zbl 1309.03009
Speranski, Stanislav O.
4
2013
Computability issues for adaptive logics in multi-consequence standard format. Zbl 1329.03065
Odintsov, Sergei P.; Speranski, Stanislav O.
4
2013
On Belnapian modal algebras: representations, homomorphisms, congruences, and so on. Zbl 1330.03047
Speranski, S. O.
3
2013
Collapsing probabilistic hierarchies. I. Zbl 1315.03033
Speranskii, S. O.
1
2013
On algorithmic properties of propositional inconsistency-adaptive logics. Zbl 1283.03059
Odintsov, Sergei P.; Speranski, Stanislav O.
4
2012
Quantification over propositional formulas in probability logic: decidability issues. Zbl 1432.03033
Speranskii, S. O.
3
2011

Citations by Year