Stanislav O. Speranski

Available identifiers

zbMath Open speranski.stanislav-oMaRDI QIDQ365660

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q2895851	2012-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q2898998	2012-07-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stanislav O. Speranski