[FOM] Modal logic with scope-modifying operators

Thomas Forster T.Forster at dpmms.cam.ac.uk
Wed Dec 28 12:58:40 EST 2005

This sounds very like Hintikka's "Independence-friendly" logic.....

On Tue, 
27 Dec 2005, Aatu Koskensilta wrote:

> A few years ago I thought of an obvious extension of modal predicate 
> logic in which subformulae of a modally quantified formula may be 



  URL: www.dpmms.cam.ac.uk/~tf   Tel: +44-1223-337981
  (U Cambridge); +44-20-7882-3659 (QMW) 


More information about the FOM mailing list