Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility | Publicación