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

DOI10.1007/978-3-642-33353-8_20MaRDI QIDQ2915076zbMATH OpenOpenAlexFDO

Authors 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

decidabilityknowledge representationqualitative reasoningmulti-modal logicorder-of-magnitude reasoningbidirectional negligibility

Mathematics Subject Classification ID

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

Recommendations

• A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations
• Dual tableau for a multimodal 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
• Decidability of order-based modal logics
• scientific article; zbMATH DE number 5295708
• On the complexity of propositional quantification in intuitionistic logic
• On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic
• Quantized linear logic, involutive quantales and strong negation

Cites work

• A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations
• Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility
• Dual tableaux. Foundations, methodology, case studies
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance

Cited in

(4)

• 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
• Logics for order-of-magnitude qualitative reasoning: formalizing negligibility
• A multimodal logic approach to order of magnitude qualitative reasoning with comparability and neglibility relations

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

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