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

International Journal of Computer Mathematics 86 (10-11):1707–1718 (2009)
  Copy   BIBTEX


We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.



    Upload a copy of this work     Papers currently archived: 93,296

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Reasoning with Qualitative Velocity: Towards a Hybrid Approach.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 635--646.
A multimodal logic for closeness.A. Burrieza, E. Muñoz-Velasco & M. Ojeda-Aciego - 2017 - Journal of Applied Non-Classical Logics 27 (3):225-237.


Added to PP

4 (#1,644,260)

6 months
32 (#106,387)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Emilio Muñoz-Velasco
Universidad de Málaga
Joanna Golinska-Pilarek
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references