Incorrect Answer.

This is the axiom . It corresponds to the condition of reflexivity, which is strictly stronger than seriality, which is the correspondence condition of the axiom D. For instance the following frame staisfies all the axioms of KD45 but, with the given labelling of the worlds, world x does not satisfy p p


Back to Question.
Next Question.