diamond1   Logics for Qualitative Reasoning   Logics for order-of-magnitude reasoning

Content to follow