Belief and Knowledge Notation (Epistemic Logic)
December 2, 2015 12:00 pm
An explication of the notation for belief and knowledge
B(s)(p) : A subject s believes that p
K(s)(p) : A subject s believes that p