diamond1   Logics for Qualitative Reasoning   Logics for time