Ideas from 'Barcan Formulae' by Koen Vervloesem [2010], by Theme Structure
[found in 'Key Terms in Logic' (ed/tr Williamson,J/Russo,F) [Continuum 2010,978-1-8470-6114-0]].
green numbers give full details |
back to texts
|
expand this idea
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
15380
|
Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging
|