Combining Texts

Ideas for 'fragments/reports', 'Categories' and 'W.V. Quine'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic

8480	S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein]