Modal systems for covering semantics and boundary operator

DOI10.1016/J.IJAR.2021.05.004MaRDI QIDQ2237204zbMATH OpenOpenAlexFDO

Authors Vineeta Singh Patel, Md. Aquil Khan, Mihir K. Chakraborty

Publication date 27 October 2021

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2021.05.004

zbMATH Keywords

approximation spacecontingency modal operatorcoveringmodal logicrough set

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• Covering-based rough sets and modal logics. I.
• Covering-based rough sets and modal logics. II.
• scientific article; zbMATH DE number 1302389
• Interface of rough set systems and modal logics: a survey
• AN OVERVIEW OF ROUGH SET SEMANTICS FOR MODAL AND QUANTIFIER LOGICS

Cites work

• A certain conception of the calculus of rough sets
• A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
• A logic for reasoning about relative similarity
• A logic with relative knowledge operators
• Completeness and definability in the logic of noncontingency
• Contingency and knowing whether
• Covering based rough set approximations
• Covering-based rough sets and modal logics. I.
• Extensions and intensions in the rough set theory
• Generalized rough sets and implication lattices
• scientific article; zbMATH DE number 994054 (Why is no real title available?)
• scientific article; zbMATH DE number 3880694 (Why is no real title available?)
• scientific article; zbMATH DE number 4046636 (Why is no real title available?)
• scientific article; zbMATH DE number 53312 (Why is no real title available?)
• scientific article; zbMATH DE number 68126 (Why is no real title available?)
• scientific article; zbMATH DE number 3460246 (Why is no real title available?)
• scientific article; zbMATH DE number 754433 (Why is no real title available?)
• scientific article; zbMATH DE number 1400209 (Why is no real title available?)
• Interface of rough set systems and modal logics: a survey
• Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
• Membership function based rough set
• Minimal non-contingency logic
• Modal logic
• Neighborhood semantics for modal logic
• Probabilistic rough set approximations
• Reduction and axiomization of covering generalized rough sets.
• Relational interpretations of neighborhood operators and rough set approximation operators
• Representation of Nelson algebras by rough sets determined by quasiorders
• Rough Approximation Operators in Covering Approximation Spaces
• Rough sets
• Rough sets determined by tolerances
• Rough sets: some foundational issues
• The algebraic structures of generalized rough set theory
• The logic of non-contingency
• Topological approaches to covering rough sets
• Topological reasoning and the logic of knowledge

Cited in

(11)

• Covering-based rough sets and modal logics. II.
• Covering-based rough sets and modal logics. I.
• A study of modal logic with semantics based on rough set theory
• Zdzisław Pawlak and our journey with rough sets
• A study of rough inclusion on algebras with quasi-Boolean base
• Reasoning about attribute-relative approximations in multi-source environments: a modal framework with axiomatization
• A formal study of a rough set model integrating relational and neighbourhood system approaches
• A semantics of basic modal language via a rough set framework
• A semantics for modal language using a rough set model based on subset approximation structure
• A semantics of the basic modal language based on a generalized rough set model
• Rough sets, modal logic and approximate reasoning

This page was built for publication: Modal systems for covering semantics and boundary operator

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