Ideas from 'Laudatio: Prof Ruth Barcan Marcus' by Timothy Williamson [2011], by Theme Structure
green numbers give full details |
back to texts
|
expand this idea
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
|
15130
|
If a property is possible, there is something which can have it
|