Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization

DOI10.1093/LOGCOM/EXAF057MaRDI QIDQ6853627zbMATH OpenFDO

Authors Md. Aquil Khan

Publication date 25 February 2026

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAF057

zbMATH Keywords

attribute-relative approximationsaxiomatizationmodal logic with relative accessibility relationsmulti-source informationrough set theorystep-by-step model construction

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A bi-variable precision rough set model and its application to attribute reduction
• A hierarchy of modal logics with relative accessibility relations
• A logic for multiple-source approximation systems with distributed knowledge base
• A logic for reasoning about relative similarity
• A logic with relative knowledge operators
• A simple modal logic for reasoning in multigranulation rough set model
• A study of modal logic with semantics based on rough set theory
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS
• Bayesian rough set model: a further investigation
• Covering-based rough sets and modal logics. I.
• DAL -- a logic for data analysis
• Expressive power of knowledge representation systems
• Formal reasoning with rough sets in multiple-source approximation systems
• scientific article; zbMATH DE number 1303630 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Incomplete information: Structure, inference, complexity
• Kripke semantics for knowledge representation logics
• Local and Global Approximations for Incomplete Data
• Logical approaches to deontic reasoning: From basic questions to dynamic solutions
• MGRS: a multi-granulation rough set
• Modal logic
• Modal logics for knowledge representation systems
• Modal systems for covering semantics and boundary operator
• Propositional Logics from Rough Set Theory
• Representation of nondeterministic information
• Rough sets
• Rough sets determined by tolerances
• The algebraic structures of generalized rough set theory
• The investigation of the Bayesian rough set model
• The monodic fragment of propositional term modal logic
• Variable precision rough set model

This page was built for publication: Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization

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