King's College London

Research portal


Research output: Contribution to journalArticlepeer-review

Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo

Original languageEnglish
Pages (from-to)267 - 304
Number of pages38
JournalReview Of Symbolic Logic
Issue number3
PublishedOct 2008

King's Authors


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 Alchourron, Gardenfors and Makinson (AGM revision, Alchourron et al. (1985)). The approach is illustrated by considering the modal logic K, Belnap's four-valued logic, and Lukasiewicz'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.

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454