Is there a property definable in finite-variable infinitary logic $L^{\omega}_{\omega\infty}$ but not definable in partial fixed point logic FO(PFP) ?
infinitary logic and partial fixed point logic
user47181
- 41
- 2