A multimodal logic for closeness

DOI10.1080/11663081.2018.1442137MaRDI QIDQ4586231zbMATH OpenOpenAlexWikidataFDO

Authors Emilio Muñoz-Velasco, Alfredo Burrieza, Manuel Ojeda-Aciego

Publication date 12 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2018.1442137

zbMATH Keywords

closenesscompletenessmultimodal logicqualitative reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• A flexible logic-based approach to closeness using order of magnitude qualitative reasoning
• A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• Relational Approach to Order-of-Magnitude Reasoning
• Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility

Cites work

• A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations
• scientific article; zbMATH DE number 1028831 (Why is no real title available?)
• scientific article; zbMATH DE number 1748440 (Why is no real title available?)
• scientific article; zbMATH DE number 909506 (Why is no real title available?)
• Reasoning about negligibility and proximity in the set of all hyperreals
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• Relative and absolute order-of-magnitude models unified

Cited in

(5)

• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• scientific article; zbMATH DE number 1249660 (Why is no real title available?)
• Relational Approach to Order-of-Magnitude Reasoning
• A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations
• A flexible logic-based approach to closeness using order of magnitude qualitative reasoning

This page was built for publication: A multimodal logic for closeness

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