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

---

4. Formal Logic / D. Modal Logic ML / 5. Epistemic Logic

[Inferences between known and believed propositions]

3 ideas

13111

Read epistemic box as 'a knows/believes P' and diamond as 'for all a knows/believes, P' [Fitting/Mendelsohn]

13112

In epistemic logic knowers are logically omniscient, so they know that they know [Fitting/Mendelsohn]

13712

Epistemic accessibility is reflexive, and allows positive and negative introspection (KK and K¬K) [Sider]