S. O. Speranskij

Available identifiers

zbMath Open speranski.stanislav-oMaRDI QIDQ365660

List of research outcomes

Publication	Date of Publication	Type
Some remarks on Došen's logic \texttt{N} and its extensions	2024-11-25	Paper
On the quantified version of the Belnap-Dunn modal logic	2024-08-02	Paper
Elementary invariants for quantified probability logic	2023-09-07	Paper
On the coprimeness relation from the viewpoint of monadic second-order logic	2023-09-02	Paper
Infinitary action logic with multiplexing	2023-04-21	Paper
Modal bilattice logic and its extensions	2022-06-15	Paper
Infinitary action logic with exponentiation	2022-01-18	Paper
Negation as a modality in a quantified setting	2021-09-22	Paper
BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES	2020-04-27	Paper
Infinitary Action Logic with Exponentiation	2020-01-19	Paper
Reasoning about arbitrary natural numbers from a Carnapian perspective	2019-09-03	Paper
Hintikka's independence-friendly logic meets Nelson's realizability	2018-08-06	Paper
Quantifying over events in probability logic: an introduction	2017-11-22	Paper
The lattice of Belnapian modal logics: Special extensions and counterparts	2017-05-18	Paper
Notes on the computational aspects of Kripke's theory of truth	2017-05-15	Paper
A note on hereditarily Π10- and Σ10-complete sets of sentences	2017-01-31	Paper
On Belnapian modal algebras: representations, homomorphisms, congruences, and so on	2015-11-16	Paper
Some new results in monadic second-order arithmetic	2015-10-20	Paper
Computability issues for adaptive logics in multi-consequence standard format	2014-06-19	Paper
Collapsing probabilistic hierarchies. I	2013-11-27	Paper
Complexity for probability logic with quantifiers over propositions	2013-11-21	Paper
A note on definability in fragments of arithmetic with free unary predicates	2013-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4925863	2013-06-12	Paper
Quantification over propositional formulas in probability logic: decidability issues	2012-12-17	Paper
On the logical consistency of probabilistic predictions	2012-07-13	Paper
On the computational aspects of the maximal specificity in probabilistic explanation	2012-07-13	Paper

Research outcomes over time

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