Skip to main content
×
Home
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 3
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Fermé, Eduardo and Hansson, Sven Ove 2011. AGM 25 Years. Journal of Philosophical Logic, Vol. 40, Issue. 2, p. 295.


    Wheeler, Gregory and Alberti, Marco 2011. NO Revision and NO Contraction. Minds and Machines, Vol. 21, Issue. 3, p. 411.


    Gaines, Brian R. 2010. Human Rationality Challenges Universal Logic. Logica Universalis, Vol. 4, Issue. 2, p. 163.


    ×

BELIEF REVISION IN NON-CLASSICAL LOGICS

  • DOV GABBAY (a1), ODINALDO RODRIGUES (a1) and ALESSANDRA RUSSO (a2)
  • DOI: http://dx.doi.org/10.1017/S1755020308080246
  • Published online: 01 October 2008
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 , the approach enables the definition of belief revision operators for , 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.

Copyright
Corresponding author
*DEPARTMENT OF COMPUTER SCIENCE, KING'S COLLEGE LONDON LONDON WC2R 2LS, UK E-mail:dov.gabbay@kcl.ac.uk
DEPARTMENT OF COMPUTER SCIENCE, KING'S COLLEGE LONDON LONDON WC2R 2LS, UK E-mail:odinaldo.rodrigues@kcl.ac.uk
DEPARTMENT OF COMPUTING, IMPERIAL COLLEGE, LONDON SW7 2BZ, UK E-mail:ar3@doc.ic.ac.uk
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

A. Darwiche , & J Pearl . (1997). On the logic of iterated belief revision. Artificial Intelligence, 89, 129.

A Fuhrmann . (1991). Theory contraction through base contraction. Journal of Philosophical Logic, 20(2), 175203. DOI 10.1007/BF00284974.

D. M. Gabbay , & L Maksimova . (2005). Interpolation and Definability. Modal and Intuitionistic Logics, vol. 1. Oxford, UK: Oxford Science Publications. ISBN 0-19-851174-4.

H. Katsuno , & A. O Mendelzon . (1991). Propositional knowledge base revision and minimal change. Artificial Intelligence, 52, 263294.

J. P. Martins , & S. C Shapiro . (1988). A model for belief revision. Artificial Intelligence, 35(1), 2579.

H. J Ohlbach . (1991). Semantics-based translations methods for modal logics. Journal of Logic and Computation, 1(5), 691746.

G Priest . (2001). Paraconsistent belief revision. Theoria, 67, 214228.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Review of Symbolic Logic
  • ISSN: 1755-0203
  • EISSN: 1755-0211
  • URL: /core/journals/review-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×