Recent Theses

MoL-2022-28:
Thibault Rushbrooke Taming the Infinity Quantifier: On Well-Behaved Fragments of First-Order Logic with the Quantifier 'There are Infinitely Many'
1.Full Text, 2.Abstract.