This is a preview. Log in through your library . Abstract This paper studies the expressive power that an extra first order quantifier adds to a fragment of monadic second order logic, extending the ...
Vol. 196, No. 7, Special Issue on Between First- and Second-Order Logie (July 2019), pp. 2671-2693 (23 pages) Many efforts have been made in recent years to construct formal systems for mechanizing ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback