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
In epistemic logic knowers are logically omniscient, so they know that they know [Fitting/Mendelsohn]
Read epistemic box as 'a knows/believes P' and diamond as 'for all a knows/believes, P' [Fitting/Mendelsohn]
Epistemic accessibility is reflexive, and allows positive and negative introspection (KK and KČK) [Sider]