Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

Joanna Golinska-Pilarek, Emilio Muñoz-Velasco. Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. Int. J. Comput. Math., 86(10&11):1707-1718, 2009. [doi]

Abstract

Abstract is missing.