Modal systems for covering semantics and boundary operator
| Autor: | Md. Aquil Khan, Vineeta Singh Patel, Mihir K. Chakraborty |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
Semantics (computer science)
Computer science Applied Mathematics Modal logic Boundary (topology) 02 engineering and technology Modal operator Theoretical Computer Science Algebra Operator (computer programming) Modal Artificial Intelligence 020204 information systems Covering system 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Rough set Software |
| Zdroj: | International Journal of Approximate Reasoning. 135:110-126 |
| ISSN: | 0888-613X |
| DOI: | 10.1016/j.ijar.2021.05.004 |
| Popis: | Towards the study of covering based rough set semantics for modal logic [39] , we present a modal system corresponding to the covering systems P 3 , C 1 , and C Gr . We also study the modal systems for boundary operators based on generalized approximation spaces as well as covering systems. Our study also leads to covering semantics for some contingency logics and provide its connection with rough set theory. Further, an alternative modal system based on the contingency modal operator is provided corresponding to the covering system P 4 . |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect