S. O. Speranskij

From MaRDI portal
Person:365660

Available identifiers

zbMath Open speranski.stanislav-oMaRDI QIDQ365660

List of research outcomes





PublicationDate of PublicationType
Some remarks on Došen's logic \texttt{N} and its extensions2024-11-25Paper
On the quantified version of the Belnap-Dunn modal logic2024-08-02Paper
Elementary invariants for quantified probability logic2023-09-07Paper
On the coprimeness relation from the viewpoint of monadic second-order logic2023-09-02Paper
Infinitary action logic with multiplexing2023-04-21Paper
Modal bilattice logic and its extensions2022-06-15Paper
Infinitary action logic with exponentiation2022-01-18Paper
Negation as a modality in a quantified setting2021-09-22Paper
BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES2020-04-27Paper
Infinitary Action Logic with Exponentiation2020-01-19Paper
Reasoning about arbitrary natural numbers from a Carnapian perspective2019-09-03Paper
Hintikka's independence-friendly logic meets Nelson's realizability2018-08-06Paper
Quantifying over events in probability logic: an introduction2017-11-22Paper
The lattice of Belnapian modal logics: Special extensions and counterparts2017-05-18Paper
Notes on the computational aspects of Kripke's theory of truth2017-05-15Paper
A note on hereditarily Π10- and Σ10-complete sets of sentences2017-01-31Paper
On Belnapian modal algebras: representations, homomorphisms, congruences, and so on2015-11-16Paper
Some new results in monadic second-order arithmetic2015-10-20Paper
Computability issues for adaptive logics in multi-consequence standard format2014-06-19Paper
Collapsing probabilistic hierarchies. I2013-11-27Paper
Complexity for probability logic with quantifiers over propositions2013-11-21Paper
A note on definability in fragments of arithmetic with free unary predicates2013-09-09Paper
https://portal.mardi4nfdi.de/entity/Q49258632013-06-12Paper
Quantification over propositional formulas in probability logic: decidability issues2012-12-17Paper
On the logical consistency of probabilistic predictions2012-07-13Paper
On the computational aspects of the maximal specificity in probabilistic explanation2012-07-13Paper

Research outcomes over time

This page was built for person: S. O. Speranskij