First degree formulas in quantified S5

Abstract

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.