We propose a novel technique that maps decision problems in WS1S (weak monadic
second-order logic with n successors) to the problem of query evaluation of Complex-value …

We propose a novel technique that reduces the decision problem of WSnS (weak monadic
second-order logic with n successors) to the problem of evaluation of Complex-value …

We outline a novel technique that maps the satisfiability problems of second-order logics, in
particular WSnS (weak monadic second-order logic with n successors), S1S (monadic …