Belief revision in non-classical logics

Dov Gabbay, Odinaldo Rodrigues, Alessandra Russo

Research output: Contribution to journalArticlepeer-review

13 Scopus citations

Abstract

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.

Original languageEnglish
Pages (from-to)267-304
Number of pages38
JournalReview of Symbolic Logic
Volume1
Issue number3
DOIs
StatePublished - 1 Oct 2008
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 2008 Association for Symbolic Logic.

Fingerprint

Dive into the research topics of 'Belief revision in non-classical logics'. Together they form a unique fingerprint.

Cite this