Ideas of Koen Vervloesem, by Theme

[Dutch, fl. 2010, Independent scholar.]

idea number gives full details    |    back to list of philosophers    |     expand these ideas
4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
Barcan:nothing comes into existence; Converse:nothing goes out; Both:domain is unchanging