English S2S (mathematics) Cited by user Dmytro on 14 Nov 2022 In mathematics, S2S is the monadic second order theory with two successors. It is one of the most expressive natural decidable theories known, with many decidable…