A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations

MaRDI QIDQ5472884zbMATH OpenFDO

Authors Alfredo Burrieza, Manuel Ojeda-Aciego

Publication date 19 June 2006

Full work available at URL http://iospress.metapress.com/content/1f7qt64rqmf7a6lf/fulltext.pdf

zbMATH Keywords

multimodal logicsnon-classical logicsorder-of-magnitude qualitative reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
• Relational Approach to Order-of-Magnitude Reasoning
• A multimodal logic for closeness
• On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

Cited in

(8)

• On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
• An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
• A multimodal logic for closeness
• Relational Approach to Order-of-Magnitude Reasoning
• A flexible logic-based approach to closeness using order of magnitude qualitative reasoning
• Logics for order-of-magnitude qualitative reasoning: formalizing negligibility

This page was built for publication: A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5472884)