Home page
Home page
Home page
Russian page
English page
Math-Net.Ru | MMS | Web of Science | Scopus | MathSciNet | zbMATH | Web-mail 

   
 About the Institute
 Staff publications
 Administration
 Academic Council
 Dissertation Councils
 Departments
Staff 
 Chair at MIPT
 Seminars
 Conferences
 Events
 Journals and Books
 In memoriam
 Photogallery
 Charter


    Address
8 Gubkina St. Moscow,
119991, Russia
Tel.: +7(495) 984 81 41
Fax: +7(495) 984 81 39
Web site: www.mi-ras.ru
E-mail: steklov@mi-ras.ru

View Map
Directions

   
Speranski Stanislav Olegovich
(recent publications)
| by years | scientific publications | by types |



   2022
1. Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary action logic with exponentiation”, Annals of Pure and Applied Logic, 173:2 (2022), 103057 , 29 pp., arXiv: 2001.06863  mathnet  crossref  zmath  isi  elib  scopus
2. S. O. Speranski, F. N. Pakhomov, “On the coprimeness relation from the viewpoint of monadic second-order logic”, Izv. RAN. Ser. Mat., 86:6 (2022) (to appear)  mathnet  crossref
3. S. O. Speranski, “Some remarks on Došen's logic N and its extensions”, Sib. elektron. matem. izv., 19:2 (2022), 562–577  crossref  mathscinet
4. Stepan L. Kuznetsov, Stanislav O. Speranski, “Infinitary Action Logic with Multiplexing”, Studia Logica, 2022, 1 (Published online)  mathnet  crossref

   2021
5. Stanislav O. Speranski, “Negation as a modality in a quantified setting”, Journal of Logic and Computation, 31:5 (2021), 1330–1355  mathnet  crossref  mathscinet  zmath  isi (cited: 1)  elib  scopus (cited: 3)

   2022
6. S. O. Speranski, “Modal bilattice logic and its extensions”, Algebra and Logic, 60:6 (2022), 407–424  mathnet  crossref  crossref  mathscinet  zmath  elib  scopus

   2020
7. S. P. Odintsov, S. O. Speranski, “Belnap–Dunn modal logics: truth constants vs. truth values”, Review of Symbolic Logic, 13:2 (2020), 416–435  mathnet  crossref  mathscinet  zmath  isi (cited: 3)  elib  scopus (cited: 5)

   2019
8. L. Horsten, S. O. Speranski, “Reasoning about arbitrary natural numbers from a Carnapian perspective”, Journal of Philosophical Logic, 48:4 (2019), 685–707  crossref  mathscinet  zmath  isi  elib  scopus (cited: 1)

   2018
9. S. P. Odintsov, S. O. Speranski, I. Yu. Shevchenko, “Hintikka's independence-friendly logic meets Nelson's realizability”, Studia Logica, 106:3 (2018), 637–670  crossref  mathscinet  zmath  isi (cited: 1)  elib  scopus (cited: 2)

   2017
10. S. O. Speranski, “Quantifying over events in probability logic: an introduction”, Mathematical Structures in Computer Science, 27:8 (2017), 1581–1600  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 3)
11. S. O. Speranski, “Notes on the computational aspects of Kripkes theory of truth”, Studia Logica, 105:2 (2017), 407–429  crossref  mathscinet  zmath  isi (cited: 3)  elib  scopus (cited: 3)

   2016
12. S. O. Speranski, “A note on hereditarily $\Pi^0_1$- and $\Sigma^0_1$-complete sets of sentences”, Journal of Logic and Computation, 26:5 (2016), 1729–1741  crossref  mathscinet  zmath  isi (cited: 3)  scopus (cited: 3)
13. S. P. Odintsov, S. O. Speranski, “The lattice of Belnapian modal logics: special extensions and counterparts”, Logic and Logical Philosophy, 25:1 (2016), 3–33  crossref  mathscinet  zmath  isi (cited: 11)  scopus (cited: 14)

   2015
14. S. O. Speranski, “Some new results in monadic second-order arithmetic”, Computability, 4:2 (2015), 159–174  crossref  mathscinet  zmath  isi (cited: 1)  elib  scopus (cited: 1)

   2013
15. S. O. Speranski, “A note on definability in fragments of arithmetic with free unary predicates”, Archive for Mathematical Logic, 52:5–6 (2013), 507–516  crossref  mathscinet  zmath  isi (cited: 4)  scopus (cited: 4)
16. S. O. Speranskii, “Collapsing probabilistic hierarchies. I”, Algebra and Logic, 52:2 (2013), 159–171  mathnet  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 1)
17. S. O. Speranski, “On Belnapian modal algebras: representations, homomorphisms, congruences, and so on”, Sib. elektron. matem. izv., 10 (2013), 517–534  mathnet (cited: 2)  crossref  mathscinet  zmath  scopus (cited: 3)
18. S. O. Speranski, “Complexity for probability logic with quantifiers over propositions”, Journal of Logic and Computation, 23:5 (2013), 1035–1055  crossref  mathscinet  zmath  isi (cited: 5)  scopus (cited: 5)
19. S. P. Odintsov, S. O. Speranski, “Computability issues for adaptive logics in multi-consequence standard format”, Studia Logica, 101:6 (2013), 1237–1262  crossref  mathscinet  zmath  isi (cited: 9)  elib (cited: 5)  scopus (cited: 12)

   2012
20. S. P. Odintsov, S. O. Speranski, “On algorithmic properties of propositional inconsistency-adaptive logics”, Logic and Logical Philosophy, 21:3 (2012), 209–228  crossref  mathscinet  zmath  scopus (cited: 14)

   2011
21. S. O. Speranski, “Quantification over propositional formulas in probability logic: decidability issues”, Algebra and Logic, 50:4 (2011), 365–374  mathnet  crossref  mathscinet  zmath  isi (cited: 3)  scopus (cited: 4)
22. S. O. Speranski, “On computational aspects of the maximal specificity in probabilistic explanation”, Vestnik, Quart. J. of Novosibirsk State Univ., Series: Math., Mech. and Informatics, 11:4 (2011), 78–93  mathnet
23. S. O. Speranski, “On logical consistency of probabilistic predictions”, Vestnik, Quart. J. of Novosibirsk State Univ., Series: Math., Mech. and Informatics, 11:1 (2011), 99–115  mathnet


Full list of publications
Home page

© Steklov Mathematical Institute of RAS, 2004–2022