epistemic-logic.md (382B)
1 +++ 2 title = 'Epistemic logic' 3 +++ 4 # Epistemic logic 5 - □ φ: 'we know that φ is true' (also written Kφ) 6 - ◇ φ: 'we consider φ possible' 7 - [i] φ: 'agent i knows that φ is true' (also written Kᵢφ) 8 - 〈i〉φ: 'agent i considers φ possible' 9 10 In an epistemic frame, the relation statement sRᵢt means: given his information in situation s, agent i considers t possible 11 12