Logarithmic-Bounded Second-Order Quantifiers and Limited Nondeterminism

12/09/2019
by   Kexu Wang, et al.
0

We add logarithmic-bounded second-order quantifiers to the inflationary fixed-point logic, and find on ordered structures the new logic ∃^log^ωIFP captures the limited nondeterminism class βP. A new version of Ehrenfeucht-Fraisse game for the new logic is also designed in order to study its expressive power.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset