Loading...
Please wait, while we are loading the content...
Similar Documents
BELIEF REVISION IN NON-CLASSICAL LOGICS
| Content Provider | Scilit |
|---|---|
| Author | Gabbay, Dov Rodrigues, Odinaldo Russo, Alessandra |
| Copyright Year | 2008 |
| Description | In this article, we propose a belief revision approach for families of (non-classical) logics whose semantics are first-order axiomatisable. Given any such (non-classical) logic $L$ , the approach enables the definition of belief revision operators for $L$ , in terms of a belief revision operation satisfying the postulates for revision theory proposed by Alchourrón, Gärdenfors and Makinson (AGM revision, Alchourrón et al. (1985)). The approach is illustrated by considering the modal logic K, Belnap's four-valued logic, and Łukasiewicz's many-valued logic. In addition, we present a general methodology to translate algebraic logics into classical logic. For the examples provided, we analyse in what circumstances the properties of the AGM revision are preserved and discuss the advantages of the approach from both theoretical and practical viewpoints. |
| Related Links | https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8172F917DEAFDDCDBEF7A083B1BF4495/S1755020308080246a.pdf/div-class-title-belief-revision-in-non-classical-logics-div.pdf |
| Ending Page | 304 |
| Page Count | 38 |
| Starting Page | 267 |
| ISSN | 17550203 |
| e-ISSN | 17550211 |
| DOI | 10.1017/s1755020308080246 |
| Journal | The Review of Symbolic Logic |
| Issue Number | 3 |
| Volume Number | 1 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2008-10-01 |
| Access Restriction | Open |
| Subject Keyword | The Review of Symbolic Logic History and Philosophy of Science Logics Into Classical Revision Operators |
| Content Type | Text |
| Resource Type | Article |
| Subject | Philosophy Logic |
