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]

Authors

Joanna Golinska-Pilarek

This author has not been identified. Look up 'Joanna Golinska-Pilarek' in Google

Emilio Muñoz-Velasco

This author has not been identified. Look up 'Emilio Muñoz-Velasco' in Google