diamond1   Logics for Qualitative Reasoning