A multimodal logic for closeness

DOI10.1080/11663081.2018.1442137zbMath1398.03087OpenAlexW2791978930MaRDI QIDQ4586231

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

completenessqualitative reasoningmultimodal logiccloseness

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reasoning about negligibility and proximity in the set of all hyperreals
• Relative and absolute order-of-magnitude models unified
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance