First degree formulas in quantified S5

Alasdair Urquhart

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.

 

 


Full Text:

Remote PDF

Refbacks

  • There are currently no refbacks.