Edit Profile (opens in new tab) Speranski, Stanislav O. Co-Author Distance Author ID: speranski.stanislav-o Published as: Speranski, Stanislav O.; Speranski, S. O.; Speranskii, S. O.; Speranskij, S. O. more...less 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 all top 5 Co-Authors 15 single-authored 5 Odintsov, Sergei P. 3 Kuznetsov, Stepan L’vovich 1 Grefenshtein, Alexander V. 1 Horsten, Leon 1 Pakhomov, Fedor N. 1 Pshenitsyn, Tikhon 1 Shevchenko, Igor’ Yur’evich all top 5 Serials 4 Studia Logica 3 Algebra and Logic 3 Journal of Logic and Computation 2 Logic and Logical Philosophy 2 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Journal of Philosophical Logic 1 Annals of Pure and Applied Logic 1 Mathematical Structures in Computer Science 1 Archive for Mathematical Logic 1 Sbornik: Mathematics 1 Izvestiya: Mathematics 1 Doklady Mathematics 1 The Review of Symbolic Logic 1 Computability Fields 26 Mathematical logic and foundations (03-XX) 2 Computer science (68-XX) 1 Order, lattices, ordered algebraic structures (06-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 43 Authors 13 Speranski, Stanislav O. 5 Kuznetsov, Stepan L’vovich 4 Batens, Diderik 4 Odintsov, Sergei P. 3 Kamide, Norihiro 2 Boigelot, Bernard 2 Fischer, Martin 2 Fontaine, Pascal 2 Ibeling, Duligur 2 Icard, Thomas F. III 2 Ma, Minghui 2 Mossé, Milan 2 Nicolai, Carlo 2 Rybakov, Mikhail Nikolaevich 2 Vergain, Baptiste 1 Bazhenov, Nikolaĭ Alekseevich 1 Burke, Luke Edward 1 Dopico, Pablo 1 Drobyshevich, Sergeĭ Andreevich 1 Grefenshtein, Alexander V. 1 Grigor’ev, Oleg Mikhaĭlovich 1 Horsten, Leon 1 Leitgeb, Hannes 1 Lin, Yuanlei 1 Mendler, Michael 1 Mierzewski, Krzysztof 1 Mustafa, Manat 1 Petrukhin, Yaroslav Igorevich 1 Rivello, Edoardo 1 Scheele, Stephan 1 Schindler, Thomas 1 Sedlár, Igor 1 Shevchenko, Igor’ Yur’evich 1 Shramko, Yaroslav V. 1 Skurt, Daniel 1 Spinks, Matthew 1 Stern, Johannes 1 Venturi, Giorgio 1 Veroff, Robert 1 Wansing, Heinrich Theodor 1 Yago, Pedro 1 Yamaleev, Mars Mansurovich 1 Zohar, Yoni all top 5 Cited in 18 Serials 9 Studia Logica 4 Journal of Philosophical Logic 3 The Review of Symbolic Logic 2 Algebra and Logic 2 Annals of Pure and Applied Logic 2 Archive for Mathematical Logic 2 Doklady Mathematics 2 Logic and Logical Philosophy 2 Logicheskie Issledovaniya 1 The Journal of Symbolic Logic 1 Mathematical Structures in Computer Science 1 Journal of Logic, Language and Information 1 Sbornik: Mathematics 1 Izvestiya: Mathematics 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Logica Universalis 1 Logical Methods in Computer Science 1 Computability Cited in 5 Fields 43 Mathematical logic and foundations (03-XX) 11 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Probability theory and stochastic processes (60-XX) Citations by Year