1 Modal Change Logic ( MCL ) : Specifying the Reasoning of Knowledge-based Systems