On the modal logic of order-of-magnitude qualitative reasoning: a tableau calculus | IEEE Conference Publication | IEEE Xplore