Stanislav O. Speranski

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

• On the complexity of first-order logics of probability2026
• О замыкающих ординалах инфинитарных вероятностных исчислений2026
• On Hereditarily Undecidable Fragments of Basic Elementary Theories2025
• REASONING FROM HYPOTHESES IN $\ast $ -CONTINUOUS ACTION LATTICES2025
• On the decision problem for quantified probability logics2025
• BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES2019 · аннотациясвернуть

  Abstract We shall be concerned with the modal logic BK—which is based on the Belnap–Dunn four-valued matrix, and can be viewed as being obtained from the least normal modal logic K by adding ‘strong negation’. Though…

• The lattice of Belnapian modal logics: Special extensions and counterparts2016 · аннотациясвернуть

  Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on:• introducing the classes (or…

• A note on hereditarily Π10- and Σ10-complete sets of sentences2014 · аннотациясвернуть

  Many important achievements of formal logic have been concerned with the discovery of incomputability—and thus firmly rooted in the undecidability of the halting problem and its complement. Also, the latter produce…