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

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.

[1]  F. Wolter,et al.  Qualitative spatiotemporal representation and reasoning: a computational perspective , 2003 .

[2]  Beata Konikowska,et al.  Rasiowa-Sikorski deduction systems in computer science applications , 2002, Theor. Comput. Sci..

[3]  Andrea Formisano,et al.  A Prolog tool for relational translation of modal logics: a front-end for relational proof systems , 2005 .

[4]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .

[5]  Emilio Muñoz-Velasco,et al.  Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility , 2005, CAEPIA.

[6]  Joanna Golinska-Pilarek,et al.  Relational Logics and Their Applications , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[7]  Manuel Ojeda-Aciego,et al.  A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations , 2005, Fundam. Informaticae.

[8]  Anthony G. Cohn,et al.  Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning , 2002, Applied Intelligence.

[9]  Núria Agell,et al.  Relative and absolute order-of-magnitude models unified , 2005, Annals of Mathematics and Artificial Intelligence.

[10]  Ewa Orlowska,et al.  Relational Proof Systems for Modal Logics , 1996 .

[11]  Olivier Raiman,et al.  Order of Magnitude Reasoning , 1986, Artif. Intell..

[12]  Angel Mora,et al.  Implementing a relational system for order of magnitude reasoning , 2008 .

[13]  Manuel Ojeda-Aciego,et al.  Relational Approach to Order-of-Magnitude Reasoning , 2006, Theory and Applications of Relational Structures as Knowledge Instruments.

[14]  Joanna Golinska-Pilarek,et al.  Tableaux and Dual Tableaux: Transformation of Proofs , 2007, Stud Logica.