On the modal logic of order-of-magnitude qualitative reasoning: a tableau calculus | Publicación