Kripke Models - evaluating the meaning of $\Box\Box p$
-
04-11-2019 - |
문제
In Kripke models the evaluation of $x \vdash \Box p$ would be that every world reachable from $x$ satisfies $p$.
But how would the truth of $\Box\Box p$ be evaluated in Kripke models?
올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange