diamond1   Logics for Qualitative Reasoning   Logics for movements

Content to follow