Incorrect Answer.
The 1-related worlds of a are a, b and c. Formula q is false at all of these so K
1
q is true at a, and so
K
1
,
q is false at a.
Back to Question.
Next Question.
Incorrect Answer.
q is true at a, and so