Modal systems for covering semantics and boundary operator
From MaRDI portal
Publication:2237204
DOI10.1016/J.IJAR.2021.05.004OpenAlexW3163311721MaRDI QIDQ2237204
Vineeta Singh Patel, Md. Aquil Khan, Mihir Kumar 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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Covering-based rough sets and modal logics. I.
- A geometry of approximation. Rough set theory: logic, algebra and topology of conceptual patterns.
- Representation of Nelson algebras by rough sets determined by quasiorders
- A logic for reasoning about relative similarity
- Covering based rough set approximations
- Topological approaches to covering rough sets
- The algebraic structures of generalized rough set theory
- Probabilistic rough set approximations
- A certain conception of the calculus of rough sets
- A logic with relative knowledge operators
- Extensions and intensions in the rough set theory
- Completeness and definability in the logic of noncontingency
- Reduction and axiomization of covering generalized rough sets.
- Relational interpretations of neighborhood operators and rough set approximation operators
- The logic of non-contingency
- Minimal non-contingency logic
- Topological reasoning and the logic of knowledge
- Membership function based rough set
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
- Neighborhood semantics for modal logic
- Rough sets determined by tolerances
- Rough Sets: Some Foundational Issues
- Interface of Rough Set Systems and Modal Logics: A Survey
- Generalized Rough Sets and Implication Lattices
- Rough Approximation Operators in Covering Approximation Spaces
- Rough sets
- CONTINGENCY AND KNOWING WHETHER
This page was built for publication: Modal systems for covering semantics and boundary operator
