Stanislav O. Speranski

From MaRDI portal
Person:365660

Available identifiers

zbMath Open speranski.stanislav-oMaRDI QIDQ365660

List of research outcomes

PublicationDate of PublicationType
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
https://portal.mardi4nfdi.de/entity/Q28958512012-07-13Paper
https://portal.mardi4nfdi.de/entity/Q28989982012-07-13Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Stanislav O. Speranski