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

DOI10.1007/978-3-642-33353-8_20zbMATH Open1361.68230OpenAlexW37775296MaRDI QIDQ2915076FDOQ2915076

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

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

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)

Cites Work

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

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)