[FOM] Modal logic with scope-modifying operators

[Thomas Forster]

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 

[snip]

       tf


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