Guest Session: 1 Question Remaining. Create Account to save progress.
Login
Logichard
0:00.0

Consider a Kripke frame with a set of worlds W={w1,w2,w3}W = \{w_1, w_2, w_3\}W={w1​,w2​,w3​} and the accessibility relation R={(w1,w2),(w2,w3),(w3,w3)}R = \{(w_1, w_2), (w_2, w_3), (w_3, w_3)\}R={(w1​,w2​),(w2​,w3​),(w3​,w3​)}. Let the valuation of a propositional variable QQQ be V(Q)={w3}V(Q) = \{w_3\}V(Q)={w3​}. What is the set of worlds where the modal formula \Box Q \implies Q is true?