First degree formulas in quantified S5
Alasdair Urquhart · The Australasian Journal of Logic · 2015
This note provides a proof that the formula L(Ex)( Fx & ~LFx) is not equivalent to any first degree formula in the context of the quantified version of the modal logic S5. This solves a problem posed by Max Cresswell.