structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

---

4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic

[logic that adds awareness to the logic of knowledge]

1 idea

15378

Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting]