Ideas from 'Laudatio: Prof Ruth Barcan Marcus' by Timothy Williamson [2011], by Theme Structure

Click on the Idea Number for the full details    |     back to texts     |     expand this idea


4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
If a property is possible, there is something which can have it