Incorrect Answer.
p is true at b, which is the only 1-related world of b, hence K
1
p is true at b, and
K
1
p is false at b.
Back to Question.
Next Question.
Incorrect Answer.
K1p is false at b.