Incorrect Answer.
World x, in the follwoing KT45
n
Kripke model does not satisfy K
2
q
K
1
K
2
q
Back to Question.
Next Question.
Incorrect Answer.
K1 K2q