A modal logic for multiple-source tolerance approximation spaces
| Authors |
|
|---|---|
| Publication date | 2011 |
| Host editors |
|
| Book title | Logic and Its Applications |
| Book subtitle | 4th Indian Conference, 2011, Delhi, India, January 5-11, 2011: proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 4th Indian Conference on Logic and its Applications (ICLA 2011), Delhi, India |
| Pages (from-to) | 124-136 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | Notions of lower and upper approximations are proposed for multiple-source tolerance approximation spaces which consist of a number of tolerance relations over the same domain. A modal logic is proposed for reasoning about the defined notions of approximations. A sound and complete deductive system for the logic is presented. Decidability is also proved. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-642-18026-2_11
(Final published version)
|
| Permalink to this page | |