On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility

DOI10.1007/978-3-642-33353-8_20zbMath1361.68230OpenAlexW37775296MaRDI QIDQ2915076

Joanna Golińska-Pilarek

Publication date: 21 September 2012

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33353-8_20

zbMATH Keywords

knowledge representationdecidabilityqualitative reasoningmulti-modal logicorder-of-magnitude reasoningbidirectional negligibility

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25)

Cites Work

• Unnamed Item
• Dual tableaux. Foundations, methodology, case studies
• 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

This page was built for publication: On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility