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

---

4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics

[logic that adds reasons for belief to the logic of knowledge]

1 idea

15379

Justication logics make explicit the reasons for mathematical truth in proofs [Fitting]