The following pages link to S. O. Speranskij (Q365660):
Displaying 29 items.
- A note on definability in fragments of arithmetic with free unary predicates (Q365661) (← links)
- Collapsing probabilistic hierarchies. I (Q384407) (← links)
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- (Q695787) (redirect page) (← links)
- Quantification over propositional formulas in probability logic: decidability issues (Q695788) (← links)
- (Q891022) (redirect page) (← links)
- On Belnapian modal algebras: representations, homomorphisms, congruences, and so on (Q891023) (← links)
- Hintikka's independence-friendly logic meets Nelson's realizability (Q1653658) (← links)
- Computability issues for adaptive logics in multi-consequence standard format (Q2016057) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- Modal bilattice logic and its extensions (Q2145869) (← links)
- Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694) (← links)
- Infinitary action logic with multiplexing (Q2698280) (← links)
- Complexity for probability logic with quantifiers over propositions (Q2863169) (← links)
- On the computational aspects of the maximal specificity in probabilistic explanation (Q2895851) (← links)
- On the logical consistency of probabilistic predictions (Q2898998) (← links)
- A note on hereditarily Π10- and Σ10-complete sets of sentences (Q2957964) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Some new results in monadic second-order arithmetic (Q3195649) (← links)
- Negation as a modality in a quantified setting (Q3382824) (← links)
- Quantifying over events in probability logic: an introduction (Q4593244) (← links)
- (Q4925863) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- Elementary invariants for quantified probability logic (Q6095192) (← links)
- On the coprimeness relation from the viewpoint of monadic second-order logic (Q6137456) (← links)
- Infinitary Action Logic with Exponentiation (Q6333136) (← links)
- On the quantified version of the Belnap-Dunn modal logic (Q6582282) (← links)
- Some remarks on Došen's logic \texttt{N} and its extensions (Q6642659) (← links)
- Reasoning from hypotheses in *-continuous action lattices (Q6739271) (← links)
