standard clause for propositional classical logic , FM w : A B iff EM w : A implies FM w : B , while the meaning of the modal operator O at some world w is ...
確定! 回上一頁