First degree formulas in quantified S5

Alasdair Urquhart


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.



Full Text:

Remote PDF


  • There are currently no refbacks.