Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions.
Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms and rules of DEC1, prove the frame soundness of DEC1 with respect to the frame conditions.