epistemic
Epistemic Logic
Topic
7/1/12 Under construction
Epistemic Logic
The text
Rod Girle [2000] Modal Logics and Philosophy Chapter 10
will be a help here.
The symbolization <kappa><agent><proposition> as in
ΚbP
is intended to mean
'Person, or agent, b knows that P'.